Description
Induction proofs about Haskell programs can be checked with a tool built for teaching and validating proof steps. This is useful for students, educators, or researchers working through functional-programming correctness exercises.
It is a specialized proof checker, not a general Haskell compiler. Users need to understand the proof format expected by Check Your Proof before it can provide meaningful feedback.