PrototypeCommune
chasenorman/Canonical
Canonical is a performant sound and complete type inhabitation solver for dependent type theory.
- Propriétaire
- chasenorman (compte personnel)
- Étoiles
- Étoiles : 105
- Forks
- Forks : 12
- Langage
- Lean
- Licence
- MIT
- Création
- 2025
- Sujets
- automated-reasoningdependent-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/CanonicalLeanÉtoiles : 141LeanPrototype
D’autres dépôts Lean
Tous les dépôts Lean- NethermindEth/LeanCILÉtoiles : 108LeanPrototype
- leanprover/SampCertÉtoiles : 107LeanPrototype
- yuma-mizuno/lean-math-workshopÉtoiles : 105LeanPrototype
- AxiomMath/IMO2026Étoiles : 103LeanPrototype
- dwrensha/animate-lean-proofsÉtoiles : 102LeanPrototype
- leanprover/lakeÉtoiles : 101LeanPrototype