AlphaUncommon
FormalizedFormalLogic/Foundation
Formalization of Mathematical Logic
- Owner
- FormalizedFormalLogic (organization)
- Stars
- Stars: 296
- Forks
- Forks: 32
- Language
- Lean
- License
- Apache-2.0
- Created
- 2023
- Topics
- lean4logic
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Lean
All Lean repos- leanprover-community/lean4-metaprogramming-bookStars: 316LeanAlpha
- ufmg-smite/lean-smtStars: 315LeanAlpha
- ImperialCollegeLondon/natural_number_gameStars: 305LeanAlpha
- konne88/functorioStars: 295LeanAlpha
- strata-org/StrataStars: 287LeanAlpha
- leanprover/theorem_proving_in_lean4Stars: 286LeanAlpha