Xena
Mathematicians learning Lean by doing.
Skip to content
Home
About Xena
Student projects
What maths is in Lean?
Installing Lean and mathlib
Twitter
Useful links.
Tag Archives:
imo2019
IMO 2019 Q1
Posted on
August 1, 2019
by
xenaproject
Thoughts on doing an IMO problem in Lean
Continue reading
→
Posted in
General
,
number theory
,
Olympiad stuff
|
Tagged
imo
,
imo2019
,
olympiad
|
6 Comments
Search for:
Categories
Algebraic Geometry
computability
formalising mathematics course
General
Imperial
Learning Lean
M1F
M1P1
M40001
M4P33
number theory
Olympiad stuff
rigour
tactics
Technical assistance
Type theory
Uncategorized
undergrad maths
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
Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here:
Cookie Policy
Follow
Following
Xena
Join 6,220 other followers
Sign me up
Already have a WordPress.com account?
Log in now.
Xena
Customize
Follow
Following
Sign up
Log in
Report this content
View site in Reader
Manage subscriptions
Collapse this bar