Public Notes on
View Public Collections
Abstract Nonsense: Symbolic Calculus in Haskell 5outh.blogspot.in
scott
The language of choice codewords.recurse.com
scott
Automated Theory Formation in Pure Mathematics - Simon Colton - Google Books books.google.com
scott
Post-human mathematics | Hacker News news.ycombinator.com
scott
Springer have made a bunch of maths books available for free, here are the direct links gist.github.com
scott
All Springer Textbooks More Than 10 Years Old Available for Free Legal Download news.ycombinator.com
scott
All Springer Textbooks More Than 10 Years Old Available for Free Legal Download link.springer.com
scott
Impossible Escape? datagenetics.com
scott
Visual Group Theory website web.bentley.edu
scott
15-819 Homotopy Type Theory www.cs.cmu.edu
scott
The Origins of SageMath; I am leaving academia to build a company [pdf] news.ycombinator.com
scott
Habits of highly mathematical people — Medium medium.com
scott
https://web.stanford.edu/~montanar/RESEARCH/BOOK/book.html web.stanford.edu
scott
Löwenheim–Skolem theorem - Wikipedia, the free encyclopedia en.m.wikipedia.org
scott
Second-order logic - Wikipedia, the free encyclopedia en.m.wikipedia.org
scott
Rational trigonometry - Wikipedia, the free encyclopedia en.m.wikipedia.org
scott
Causal sets - Wikipedia en.m.wikipedia.org
scott
Representation theory - Wikipedia en.m.wikipedia.org
scott
[1111.1261] A Casual Tour Around a Circuit Complexity Bound arxiv.org
scott
4D Toys: a box of four-dimensional toys « Marc ten Bosch [Miegakure] Blog marctenbosch.com
scott
Online texts people.math.gatech.edu
scott