Public Notes by scott Tagged #proofs

Notes publicly shared by our members.
View All Public Notes View Public Notesbooks
proof.pdf
research.microsoft.com
show more
lamport math paper pub
The Little Prover | Hacker News
news.ycombinator.com
show more
book computer-science pub toread
Gagallium : Formally verifying the complexity of OCaml programs with CFML -- part 1
gallium.inria.fr
show more
coq formal-logic ocaml pub
Automated Theory Formation in Pure Mathematics - Simon Colton - Google Books
books.google.com
show more
ebook formal-logic math pub toread
Post-human mathematics | Hacker News
news.ycombinator.com
show more
formal-logic math pub
CakeML: A verified implementation of ML
news.ycombinator.com
show more
machine-verification ml pub