Skip to content


Mathematicians learning Lean by doing.

  • By Kevin Buzzard
  • Based in United Kingdom
  • Roughly two posts per year
  • First post on

Posts per year

Data for this chart is available in the table below
Posts per year
Year starting Posts
2021 5
2022 4
2023 2
2024 1

Any gaps could be due to errors when fetching the blog’s feed.

Most recent posts

Lean in 2024
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 …
On , by xenaproject, 1,780 words
Formalising modern research mathematics in real time
(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, …
On , by xenaproject, 1,888 words
Lean 2022 round-up
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 …
On , by xenaproject, 833 words