PrototypeCommon
leanprover-community/lean-perfectoid-spaces
Perfectoid spaces in the Lean formal theorem prover.
- Owner
- leanprover-community (organization)
- Stars
- Stars: 133
- Forks
- Forks: 14
- Language
- Lean
- License
- Apache-2.0
- Created
- 2018
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by leanprover-community
All 23 repos by leanprover-community- leanprover-community/mathlib4Stars: 4,418LeanRC
- leanprover-community/mathlib3Stars: 1,667LeanBeta
- leanprover-community/physlibStars: 819LeanBeta
- leanprover-community/mathematics_in_leanStars: 625HTMLAlpha
- leanprover-community/lean4gameStars: 577TypeScriptAlpha
- leanprover-community/leanStars: 436C++Alpha
Nearby in Lean
All Lean repos- eric-wieser/lean-matrix-cookbookStars: 135LeanPrototype
- opencompl/veirStars: 135LeanPrototype
- verse-lab/velvetStars: 134LeanPrototype
- frenzymath/jixiaStars: 131LeanPrototype
- sdiehl/zero-to-qedStars: 128LeanPrototype
- zhangir-azerbayev/ProofNetStars: 127LeanPrototype