GitHub repository: noschinl/cyp
Primary language: Haskell
Description: Checker for "morally correct" induction proofs about haskell programs