Xena
Mathematicians learning Lean by doing.
- By Kevin Buzzard
- Based in United Kingdom
- Roughly two posts per year
- First post on
Posts per year
| Year starting | Posts |
|---|---|
| 2021 | 5 |
| 2022 | 4 |
| 2023 | 2 |
| 2024 | 2 |
Any gaps could be due to errors when fetching the blog’s feed.
Most recent posts
So I’m two months into trying to teach a proof of Fermat’s Last Theorem (FLT) to a computer. Most of “how it’s going” is quite tedious and technical to explain: to cut a long story …
A huge amount happened in the Lean theorem prover community in 2023; this blog post looks back at some of these events, plus some of what we have to look forward to in 2024. Modern …
(This is a guest post by Bhavik Mehta) On March 16, 2023, a paper by Campos, Griffiths, Morris, and Sahasrabudhe appeared on the arXiv, announcing an exponential improvement to the upper bound on Ramsey numbers, …