1 package found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
cyp-lukasstevens-git r294.3129d6f-1 1 0.00 (Check Your Proof) Checker for "morally correct" induction proofs about Haskell programs halbGefressen 2020-12-13 12:28 (UTC)

1 package found. Page 1 of 1.