AlphaUncommon
tristanbuckmaster/fluid_lean
No description.
- Owner
- tristanbuckmaster (personal account)
- Stars
- Stars: 267
- Forks
- Forks: 19
- Language
- Lean
- License
- None
- Created
- 2026
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Lean
All Lean repos- opencompl/lean-mlirStars: 273LeanAlpha
- trishullab/PutnamBenchStars: 270LeanAlpha
- digama0/lean4leanStars: 269LeanAlpha
- ImperialCollegeLondon/formalising-mathematics-2024Stars: 263LeanAlpha
- TauCetiProject/TauCetiStars: 262LeanAlpha
- leanprover-community/lean-liquidStars: 255LeanAlpha