discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Functional Algorithms, Verified
https://functional-algorithms-verified.org
43 comments
15/10/2021
Lobsters
Functional Data Structures and Algorithms. A Proof Assistant Approach
https://functional-algorithms-verified.org/
6 comments
1/9/2023
book , formalmethods , pdf , plt
Linking pages
A gentle introduction to automated reasoning - Amazon Science
https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning
51 comments