AlphaUncommon
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
- Owner
- leanprover-community (organization)
- Stars
- Stars: 428
- Forks
- Forks: 171
- Language
- Lean
- License
- Apache-2.0
- Created
- 2022
- Topics
- lean4lean
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by leanprover-community
All 23 repos by leanprover-community- leanprover-community/mathlib4Stars: 4,418LeanRC
- leanprover-community/mathlib3Stars: 1,667LeanBeta
- leanprover-community/physlibStars: 819LeanBeta
- leanprover-community/mathematics_in_leanStars: 625HTMLAlpha
- leanprover-community/lean4gameStars: 577TypeScriptAlpha
- leanprover-community/leanStars: 436C++Alpha
Nearby in Lean
All Lean repos- anthropics/formal-mathStars: 454LeanAlpha
- ByteDance-Seed/Seed-ProverStars: 442LeanAlpha
- PatrickMassot/GlimpseOfLeanStars: 428LeanAlpha
- digama0/mm0Stars: 422LeanAlpha
- leanprover-community/aesopStars: 413LeanAlpha
- leanprover/versoStars: 405LeanAlpha