# JOSHCLUNE/LeanHammer

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

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

JOSHCLUNE/LeanHammer, dépôt open source à 100 étoiles sur GitHub. Carte Prototype de RepoMasters. LeanHammer is an automated reasoning tool for Lean that…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [JOSHCLUNE](https://repo.masters-masters.com/owners/JOSHCLUNE) |
| Étoiles | 100 |
| Forks | 11 |
| Langage | [Lean](https://repo.masters-masters.com/languages/lean) |
| Licence | Apache-2.0 |
| Création | 2025 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [JOSHCLUNE/LeanHammer](https://github.com/JOSHCLUNE/LeanHammer) |

## Fiche du dépôt

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

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts Lean

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.