Go back
Bookmarks categorized by tags
math/formal-proof.
Programming Really Is Simple Mathematics
Anatomy of a Formal Proof
The Hitchhiker's Guide to Logical Verification