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: Lean for the curious mathematician

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

Recent Posts
- Lean 2022 round-up 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

Blog at WordPress.com.

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
- Already have a WordPress.com account? Log in now.