PrototypeCommon
Pengbinghui/pipeline-math
No description.
- Owner
- Pengbinghui (personal account)
- Stars
- Stars: 243
- Forks
- Forks: 16
- Language
- Lean
- License
- None
- Created
- 2026
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- leanprover/comparatorStars: 247LeanPrototype
- leanprover-community/iris-leanStars: 246LeanPrototype
- teorth/pfrStars: 246LeanPrototype
- leanprover-community/replStars: 237LeanPrototype
- leanprover-community/ProofWidgets4Stars: 231LeanPrototype
- ShouqiaoW/erdosStars: 230LeanPrototype