leanprover-community
Results
35
repositories owned by
leanprover-community
lean-perfectoid-spaces
114
Stars
12
Forks
Watchers
Perfectoid spaces in the Lean formal theorem prover.
leanprover-community.github.io
44
Stars
103
Forks
Watchers
Hosts the website for mathlib and other Lean community infrastructure.
mathematics_in_lean
167
Stars
121
Forks
Watchers
The user home repository for the Mathematics in Lean tutorial.
mathlib-tools
32
Stars
29
Forks
Watchers
Development tools for https://github.com/leanprover-community/mathlib