GitHub - ImperialCollegeLondon/AnnalsChallenge: Formalisation of statements of recent theorems from the Annals of Mathematics. (github.com)
Formalisation of statements of recent theorems from the Annals of Mathematics. - ImperialCollegeLondon/AnnalsChallenge
AnnalsChallenge is a collection of formalised statements of recent important theorems. These theorems are the main results of papers published in the Annals of Mathematics in the 2020s. The statements are written in Lean 4, using Mathlib. github.com/ImperialColl...