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: fashionable mathematics

Where is the fashionable mathematics?

Posted on February 9, 2020 by xenaproject

A challenge to the users of all the computer proof systems to do some modern mathematics. Continue reading →

Posted in Algebraic Geometry, General, Learning Lean, undergrad maths | Tagged fashionable mathematics | 21 Comments

Search for:
Categories

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

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.