Tag Archives: fashionable mathematics

Where is the fashionable mathematics?

A challenge to the users of all the computer proof systems to do some modern mathematics. Continue reading

Posted in Algebraic Geometry, General, Learning Lean, undergrad maths | Tagged | 21 Comments