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