# Category Archives: Olympiad stuff

## Thoughts on the Pythagorean theorem

Pythagoras’ theorem says that a square is equal to two squares. What does equality mean here? Continue reading

Posted in General, Olympiad stuff, Type theory, undergrad maths
Tagged Descartes, pythagoras theorem, pythagorean theorem
8 Comments

## IMO 2019 Q1

Thoughts on doing an IMO problem in Lean Continue reading