PrototypeCommon
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.
- Owner
- JOSHCLUNE (personal account)
- Stars
- Stars: 100
- Forks
- Forks: 11
- Language
- Lean
- License
- Apache-2.0
- Created
- 2025
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- dwrensha/animate-lean-proofsStars: 102LeanPrototype
- leanprover/lakeStars: 101LeanPrototype
- NethermindEth/EVMYulLeanStars: 101LeanPrototype