# JOSHCLUNE/LeanHammer

<https://repo.masters-masters.com/en/repos/JOSHCLUNE/LeanHammer>

[Home](https://repo.masters-masters.com/en) › [JOSHCLUNE](https://repo.masters-masters.com/en/owners/JOSHCLUNE) › [LeanHammer](https://repo.masters-masters.com/en/repos/JOSHCLUNE/LeanHammer)

JOSHCLUNE/LeanHammer has 100 stars on GitHub. Its RepoMasters card: Prototype tier. LeanHammer is an automated reasoning tool for Lean that brings together…

| Field | Value |
| --- | --- |
| Owner | [JOSHCLUNE](https://repo.masters-masters.com/en/owners/JOSHCLUNE) |
| Stars | 100 |
| Forks | 11 |
| Language | [Lean](https://repo.masters-masters.com/en/languages/lean) |
| License | Apache-2.0 |
| Created | 2025 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [JOSHCLUNE/LeanHammer](https://github.com/JOSHCLUNE/LeanHammer) |

## Repository

LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines them into one tool.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in Lean

- [dwrensha/animate-lean-proofs · ★ 102 · Lean · Prototype](https://repo.masters-masters.com/en/repos/dwrensha/animate-lean-proofs)
- [leanprover/lake · ★ 101 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanprover/lake)
- [NethermindEth/EVMYulLean · ★ 101 · Lean · Prototype](https://repo.masters-masters.com/en/repos/NethermindEth/EVMYulLean)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.