2 ms·
If you do functional, check out Certified Programmjng with Dependent Types by Chlipala, Programming with Proofs by same, and Concrete Semantics. For tooling, Qu
by nickpsecurity 9y ago
If 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.