Public Notes on
View Public Collections
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