PrototypeCommune
JOSHCLUNE/LeanHammer
LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines them into one tool.
- Propriétaire
- JOSHCLUNE (compte personnel)
- Étoiles
- Étoiles : 100
- Forks
- Forks : 11
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2025
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- dwrensha/animate-lean-proofsÉtoiles : 102LeanPrototype
- leanprover/lakeÉtoiles : 101LeanPrototype
- NethermindEth/EVMYulLeanÉtoiles : 101LeanPrototype