mathy-project-wall

A collection of ramblings, links and programs with an emphasis on math.

More Reading

• [Knill2019] Oliver Knill. Some Fundamental Theorems in Mathematics. 2018-07-22, revised 2019-06-19
• [Megill2019] Norman D. Megill, David A. Wheeler. Metamath: A Computer Language for Mathematical Proofs. 2019.
• [Metamath] Metamath Home Page