Go back
Bookmarks categorized by tags
math/formal-proof.
Three ways formally verified code can go wrong in practice
Automated Lean Proofs for Every Type
Proofs are Programs
Programming Really Is Simple Mathematics
Anatomy of a Formal Proof
The Hitchhiker's Guide to Logical Verification