This repository collects Lean formalizations of
Information about the sources used for those is available in sources.yaml.
Note: The subdirectories of src are Lean projects that (last I
checked) build as a whole. However, be aware that a build might take many
hours to finish. The subdirectory src/latest/ in particular uses
the latest stable release of Mathlib and is thus the primary Lean
project of interest.
This repository also contains Lean proofs of other mathematical statements from multiple sources:
Information about the sources used for those is available in more_sources.yaml.