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.
e = get, head
Dive into said