Tag Archives: imo2019
IMO 2019 Q1
Thoughts on doing an IMO problem in Lean Continue reading
-
Recent Posts
- 2022 Xena Project undergraduate workshop May 23, 2022
- New year, new teaching material October 14, 2021
- 2021 Xena Summer Projects September 2, 2021
- Half a year of the Liquid Tensor Experiment: Amazing developments June 5, 2021
- The trace of an endomorphism (without picking a basis) May 19, 2021
Xena 