Electro-Math

That's what I like to call the efforts to formalize mathematics using computers.

TODO:

• Link to Kevin Buzzard's program with Lean
• Find and link to that page with examples of all the provers.
• Rant about how they all look like printer barf.
• Create a 2.618-D virtual world Museum of the History of Math
• Something else...