# 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 fashionable mathematics
21 Comments