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