Xena
Mathematicians learning Lean by doing.
- By Kevin Buzzard
- Based in United Kingdom
- Roughly two posts per year
- First post on
Posts per month
| Month starting | Posts |
|---|---|
| Apr 2021 | 1 |
| May 2021 | 1 |
| Jun 2021 | 1 |
| Jul 2021 | 0 |
| Aug 2021 | 0 |
| Sep 2021 | 1 |
| Oct 2021 | 1 |
| Nov 2021 | 0 |
| Dec 2021 | 0 |
| Jan 2022 | 0 |
| Feb 2022 | 0 |
| Mar 2022 | 0 |
| Apr 2022 | 0 |
| May 2022 | 1 |
| Jun 2022 | 0 |
| Jul 2022 | 1 |
| Aug 2022 | 1 |
| Sep 2022 | 1 |
| Oct 2022 | 0 |
| Nov 2022 | 0 |
| Dec 2022 | 0 |
| Jan 2023 | 1 |
| Feb 2023 | 0 |
| Mar 2023 | 0 |
| Apr 2023 | 0 |
| May 2023 | 0 |
| Jun 2023 | 0 |
| Jul 2023 | 0 |
| Aug 2023 | 0 |
| Sep 2023 | 0 |
| Oct 2023 | 0 |
| Nov 2023 | 1 |
| Dec 2023 | 0 |
Any gaps could be due to errors when fetching the blog’s feed.
Most recent posts
(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, …
A brief survey post containing some of the things which happened in the Lean community in 2022. The Liquid Tensor Experiment In December 2020, Fields Medallist Peter Scholze challenged the formal computer proof community to …
This blog post is a report on how a bunch of mathematicians recently did something which five years ago I would have said was completely out of reach. Note that it’s my (Kevin Buzzard’s) personal …