A proof checker meant for education

The intended audience is students with (roughly) the following background knowledge and skills: Deduce is an automated proof checker meant for use in education to help students: Get Started Get started by installing the necessary prerequisites and downloading the Deduce source code. You can also find handy information on setting up your Deduce workspace. Write Deduce Code Go through a series of examples to familiarize yourself with Deduce functional programming. Check your understanding with exercises to test your knowledge of the language. Prove Your Programs Follow a detailed tutorial to learn how to write logical proofs using Deduce effectively. Explore all of the features of the Deduce proof language in this comprehensive guide. ... Read full article.