research
∙
04/20/2023
Engel's theorem in Mathlib
We discuss the theory of Lie algebras in Lean's Mathlib library. Using n...
share
research
∙
02/01/2023
A formalisation of Gallagher's ergodic theorem
Gallagher's ergodic theorem is a result in metric number theory. It stat...
research
∙
10/14/2022
Formalising the h-principle and sphere eversion
In differential topology and geometry, the h-principle is a property enj...
research
∙
12/08/2021