PrototypeCommon
chasenorman/CanonicalLean
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
- Owner
- chasenorman (personal account)
- Stars
- Stars: 141
- Forks
- Forks: 14
- Language
- Lean
- License
- MIT
- Created
- 2025
- Topics
- automated-reasoningdependent-type-theorydependent-typesformal-methodslean4program-synthesistheorem-provertheorem-proving
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by chasenorman
All 2 repos by chasenorman- chasenorman/CanonicalStars: 105LeanPrototype
Nearby in Lean
All Lean repos- YuanheZ/lean-stat-learning-theoryStars: 141LeanPrototype
- kim-em/lean-zipStars: 141LeanPrototype
- leanprover/con-lecheStars: 141LeanPrototype