AlphaUncommon
strata-org/Strata
No description.
- Owner
- strata-org (organization)
- Stars
- Stars: 287
- Forks
- Forks: 62
- Language
- Lean
- License
- Apache-2.0
- Created
- 2025
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Lean
All Lean repos- ImperialCollegeLondon/natural_number_gameStars: 305LeanAlpha
- FormalizedFormalLogic/FoundationStars: 296LeanAlpha
- konne88/functorioStars: 295LeanAlpha
- leanprover/theorem_proving_in_lean4Stars: 286LeanAlpha
- opencompl/lean-mlirStars: 273LeanAlpha
- trishullab/PutnamBenchStars: 270LeanAlpha