Post

nothing kills ego like testing your beliefs against reality tried following a real proof after learning lean and it’s entirely lost on me