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