AlphaUncommon
leanprover-community/lean-liquid
💧 Liquid Tensor Experiment
- Owner
- leanprover-community (organization)
- Stars
- Stars: 255
- Forks
- Forks: 21
- Language
- Lean
- License
- None
- Created
- 2020
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by leanprover-community
All 23 repos by leanprover-community- leanprover-community/mathlib4Stars: 4,414LeanRC
- leanprover-community/mathlib3Stars: 1,667LeanBeta
- leanprover-community/physlibStars: 818LeanBeta
- leanprover-community/mathematics_in_leanStars: 625HTMLAlpha
- leanprover-community/lean4gameStars: 576TypeScriptAlpha
- leanprover-community/leanStars: 436C++Alpha
Nearby in Lean
All Lean repos- ImperialCollegeLondon/formalising-mathematics-2024Stars: 262LeanAlpha
- TauCetiProject/TauCetiStars: 260LeanAlpha
- dwrensha/compfilesStars: 255LeanAlpha
- mit-pdos/perennialStars: 253LeanAlpha
- leanprover/comparatorStars: 247LeanPrototype
- teorth/pfrStars: 246LeanPrototype