Public Notes on
View Public Collections
proof.pdf research.microsoft.com
scott
The Little Prover | Hacker News news.ycombinator.com
scott
Gagallium : Formally verifying the complexity of OCaml programs with CFML -- part 1 gallium.inria.fr
scott
Automated Theory Formation in Pure Mathematics - Simon Colton - Google Books books.google.com
scott
Post-human mathematics | Hacker News news.ycombinator.com
scott
CakeML: A verified implementation of ML news.ycombinator.com
scott