A Proof Checker

What is Deduce?

Deduce is an automated proof checker meant for use in education to help students:

Ease their way into proving the correctness of programs.

Deepening their understanding of logic.
Improve their ability to write mathematical proofs.