jsiek/deduce

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.