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:
LftCM
Lean for the Curious Mathematician 2020
Posted on
July 17, 2020
by
xenaproject
Lean for the Curious Mathematician 2020 just happened. It was interesting.
Continue reading
→
Posted in
Learning Lean

Tagged
Lean for the curious mathematician
,
LftCM

Leave a comment
Search for:
Categories
Algebraic Geometry
computability
formalising mathematics course
General
Imperial
Learning Lean
liquid tensor experiment
M1F
M1P1
M40001
M4P33
Machine Learning
number theory
Olympiad stuff
rigour
tactics
Technical assistance
Type theory
Uncategorized
undergrad maths
Recent Posts
Lean 2022 roundup
January 8, 2023
Beyond the Liquid Tensor Experiment
September 12, 2022
The Future of Interactive Theorem Proving?
August 16, 2022
Teaching formalisation to mathematics undergraduates
July 29, 2022
2022 Xena Project undergraduate workshop
May 23, 2022
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 158 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