| | Lean in 2024 (xenaproject.wordpress.com) |
|
2 points by spekcular 8 months ago | past
|
| | Formalising modern research mathematics in real time (xenaproject.wordpress.com) |
|
111 points by mauricioc 10 months ago | past | 16 comments
|
| | Division by zero in type theory: a FAQ (xenaproject.wordpress.com) |
|
2 points by ykonstant on July 10, 2023 | past
|
| | Beyond the Liquid Tensor Experiment (xenaproject.wordpress.com) |
|
42 points by panic on Sept 13, 2022 | past | 10 comments
|
| | Beyond the Liquid Tensor Experiment (xenaproject.wordpress.com) |
|
10 points by auggierose on Sept 12, 2022 | past
|
| | The future of interactive theorem proving? (xenaproject.wordpress.com) |
|
111 points by ColinWright on Aug 16, 2022 | past | 16 comments
|
| | Half a year of the Liquid Tensor Experiment: developments (xenaproject.wordpress.com) |
|
1 point by creata on Aug 7, 2021 | past
|
| | Half a year of the Liquid Tensor Experiment: developments (xenaproject.wordpress.com) |
|
1 point by mzs on June 21, 2021 | past
|
| | Half a year of the Liquid Tensor Experiment: Amazing developments (xenaproject.wordpress.com) |
|
4 points by bentoner on June 6, 2021 | past
|
| | Half a year of the Liquid Tensor Experiment: developments (xenaproject.wordpress.com) |
|
3 points by twohey on June 5, 2021 | past
|
| | Half a year of the Liquid Tensor Experiment: developments (xenaproject.wordpress.com) |
|
13 points by EvgeniyZh on June 5, 2021 | past | 1 comment
|
| | Formalising Mathematics: An Introduction (xenaproject.wordpress.com) |
|
205 points by panic on Feb 21, 2021 | past | 116 comments
|
| | Formalising Mathematics: An Introduction (xenaproject.wordpress.com) |
|
6 points by hnthwaccount on Jan 26, 2021 | past
|
| | The end of the summer. (Update on 2020 for Xena project.) (xenaproject.wordpress.com) |
|
1 point by carapace on Jan 14, 2021 | past
|
| | Thoughts on the Pythagorean Theorem (xenaproject.wordpress.com) |
|
2 points by ColinWright on Jan 13, 2021 | past | 1 comment
|
| | A mathematical formalisation challenge by Peter Scholze (xenaproject.wordpress.com) |
|
75 points by alimw on Dec 6, 2020 | past | 24 comments
|
| | Liquid Tensor Experiment – Challenge (xenaproject.wordpress.com) |
|
4 points by auggierose on Dec 5, 2020 | past
|
| | Thoughts on the Pythagorean Theorem (xenaproject.wordpress.com) |
|
1 point by muizelaar on Sept 22, 2020 | past
|
| | Division by zero in type theory: a FAQ (xenaproject.wordpress.com) |
|
120 points by EvgeniyZh on July 6, 2020 | past | 82 comments
|
| | Mathematics in type theory (xenaproject.wordpress.com) |
|
93 points by g0xA52A2A on June 23, 2020 | past | 22 comments
|
| | Lean is better for proper maths than all the other theorem provers (xenaproject.wordpress.com) |
|
9 points by rstarast on April 7, 2020 | past | 1 comment
|
| | 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
|