PrototypeCommune
chasenorman/CanonicalLean
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
- Propriétaire
- chasenorman (compte personnel)
- Étoiles
- Étoiles : 141
- Forks
- Forks : 14
- Langage
- Lean
- Licence
- MIT
- Création
- 2025
- Sujets
- automated-reasoningdependent-type-theorydependent-typesformal-methodslean4program-synthesistheorem-provertheorem-proving
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de chasenorman
Les 2 dépôts de chasenorman- chasenorman/CanonicalÉtoiles : 105LeanPrototype
D’autres dépôts Lean
Tous les dépôts Lean- YuanheZ/lean-stat-learning-theoryÉtoiles : 141LeanPrototype
- kim-em/lean-zipÉtoiles : 141LeanPrototype
- leanprover/con-lecheÉtoiles : 141LeanPrototype
- b-mehta/formalising-mathematics-notesÉtoiles : 140LeanPrototype