PrototypeCommon
nomeata/loogle
Mathlib search tool
- Owner
- nomeata (personal account)
- Stars
- Stars: 160
- Forks
- Forks: 29
- Language
- Lean
- License
- Apache-2.0
- Created
- 2023
- Topics
- lean4lean
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by nomeata
All 8 repos by nomeata- nomeata/incredibleStars: 398HaskellAlpha
- nomeata/arbttStars: 365HaskellAlpha
- nomeata/inspection-testingStars: 192HaskellPrototype
- nomeata/ghc-proofsStars: 145HaskellPrototype
- nomeata/udp-broadcast-relayStars: 133CPrototype
- nomeata/ghc-justdoitStars: 125HaskellPrototype
Nearby in Lean
All Lean repos- Verilean/sparkleStars: 167LeanPrototype
- ImperialCollegeLondon/M40001_leanStars: 165LeanPrototype
- PatrickMassot/verbose-lean4Stars: 163LeanPrototype
- AxiomMath/CFSGStars: 156LeanPrototype
- lfglabs-dev/verityStars: 153LeanPrototype
- flypitch/flypitchStars: 150LeanPrototype