1 package found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
cyp-lukasstevens-git r294.3129d6f-1 1 0.38 (Check Your Proof) Checker for "morally correct" induction proofs about Haskell programs halbGefressen

1 package found. Page 1 of 1.