discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Mostly Automated Proof Repair for Verified Libraries [pdf]
https://ilyasergey.net/assets/pdf/papers/sisyphus-pldi23.pdf
6 comments
21/6/2023
Lobsters
Programs and Proofs: Mechanizing Mathematics with Dependent Types
http://ilyasergey.net/pnp/
2 comments
9/6/2017
formalmethods
Reddit
An interesting course on implementing traditional Data Structures and Algorithms using OCaml.
https://ilyasergey.net/YSC2229/index.html
10 comments
22/1/2023
ocaml