AlphaUncommon
leanprover-community/lean4-metaprogramming-book
No description.
- Owner
- leanprover-community (organization)
- Stars
- Stars: 316
- Forks
- Forks: 80
- Language
- Lean
- License
- Apache-2.0
- Created
- 2022
- Topics
- lean4
- 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- google-deepmind/alphaproof-nexus-resultsStars: 322LeanAlpha
- NyxFoundation/nyxisStars: 318LeanAlpha
- ImperialCollegeLondon/formalising-mathematicsStars: 317LeanAlpha
- ufmg-smite/lean-smtStars: 315LeanAlpha
- ImperialCollegeLondon/natural_number_gameStars: 305LeanAlpha
- FormalizedFormalLogic/FoundationStars: 296LeanAlpha