3 ms·
Not really. I've only done some Haskell and finishing "How to prove it". Doing proofs for hobby but I'll check those tools. Thanks!
by bor0 9y ago
Not really. I've only done some Haskell and finishing "How to prove it". Doing proofs for hobby but I'll check those tools. Thanks!
- nickpsecurity 9y agoIf you do functional, check out Certified Programmjng with Dependent Types by Chlipala, Programming with Proofs by same, and Concrete Semantics. For tooling, QuickCheck and QuickSpec are interesting.