AlphaPeu commune
ufmg-smite/lean-smt
Tactics for discharging Lean goals into SMT solvers.
- Propriétaire
- ufmg-smite (organisation)
- Étoiles
- Étoiles : 315
- Forks
- Forks : 53
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2021
- Sujets
- lean4smt
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- NyxFoundation/nyxisÉtoiles : 318LeanAlpha
- ImperialCollegeLondon/formalising-mathematicsÉtoiles : 317LeanAlpha
- leanprover-community/lean4-metaprogramming-bookÉtoiles : 317LeanAlpha
- ImperialCollegeLondon/natural_number_gameÉtoiles : 305LeanAlpha
- FormalizedFormalLogic/FoundationÉtoiles : 296LeanAlpha
- konne88/functorioÉtoiles : 295LeanAlpha