AlphaUncommon
ufmg-smite/lean-smt
Tactics for discharging Lean goals into SMT solvers.
- Owner
- ufmg-smite (organization)
- Stars
- Stars: 315
- Forks
- Forks: 53
- Language
- Lean
- License
- Apache-2.0
- Created
- 2021
- Topics
- lean4smt
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Lean
All Lean repos- NyxFoundation/nyxisStars: 319LeanAlpha
- ImperialCollegeLondon/formalising-mathematicsStars: 317LeanAlpha
- leanprover-community/lean4-metaprogramming-bookStars: 317LeanAlpha
- ImperialCollegeLondon/natural_number_gameStars: 305LeanAlpha
- FormalizedFormalLogic/FoundationStars: 296LeanAlpha
- konne88/functorioStars: 295LeanAlpha