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.