AlphaUncommon
digama0/mm0
Metamath Zero specification language
- Owner
- digama0 (personal account)
- Stars
- Stars: 422
- Forks
- Forks: 59
- Language
- Lean
- License
- CC0-1.0
- Created
- 2019
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by digama0
All 3 repos by digama0- digama0/lean4leanStars: 269LeanAlpha
- digama0/lean-type-theoryStars: 174TeXPrototype
Nearby in Lean
All Lean repos- ByteDance-Seed/Seed-ProverStars: 442LeanAlpha
- leanprover-community/batteriesStars: 428LeanAlpha
- PatrickMassot/GlimpseOfLeanStars: 428LeanAlpha
- leanprover-community/aesopStars: 413LeanAlpha
- leanprover/versoStars: 405LeanAlpha
- dselsam/certigradStars: 404LeanAlpha