User:Asalmon14

High school sophomore, strong interest in mathematics. I like theorem-checkers like Metamath because they epitomize the mechanical and formal nature of mathematics.