Tag Archives: imo2019

IMO 2019 Q1

Thoughts on doing an IMO problem in Lean Continue reading

Posted in General, number theory, Olympiad stuff | Tagged , , | 6 Comments