AlphaUncommon
konne88/functorio
No description.
- Owner
- konne88 (personal account)
- Stars
- Stars: 295
- Forks
- Forks: 3
- Language
- Lean
- License
- Apache-2.0
- Created
- 2025
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Lean
All Lean repos- ufmg-smite/lean-smtStars: 315LeanAlpha
- ImperialCollegeLondon/natural_number_gameStars: 305LeanAlpha
- FormalizedFormalLogic/FoundationStars: 296LeanAlpha
- strata-org/StrataStars: 287LeanAlpha
- leanprover/theorem_proving_in_lean4Stars: 286LeanAlpha
- opencompl/lean-mlirStars: 273LeanAlpha