|
|
| | Where is the fashionable mathematics? (xenaproject.wordpress.com) | | 85 points by karlicoss on Feb 22, 2020 | past | 64 comments | |
| | Lean is better for proper maths than all the other theorem provers (xenaproject.wordpress.com) | | 2 points by RossBencina on Feb 10, 2020 | past | |
| | Rigorous Mathematics (xenaproject.wordpress.com) | | 3 points by ocfnash on Dec 13, 2019 | past | |
| | A computer-generated proof that nobody understands – Xena (xenaproject.wordpress.com) | | 4 points by EvgeniyZh on Nov 16, 2019 | past | 2 comments | |
| | A computer-generated proof that nobody understands (xenaproject.wordpress.com) | | 1 point by colinprince on Oct 28, 2019 | past | |
| | What Is the Xena Project? (xenaproject.wordpress.com) | | 2 points by mathgenius on July 6, 2019 | past | |
| | M1F, Imperial Undergraduates, and Lean (xenaproject.wordpress.com) | | 2 points by mathgenius on May 20, 2019 | past | |
| | Xena Project (xenaproject.wordpress.com) | | 1 point by jonnybgood on Dec 7, 2018 | past | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
