# philzook58/knuckledragger

<https://repo.masters-masters.com/repos/philzook58/knuckledragger>

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

philzook58/knuckledragger, dépôt open source à 180 étoiles sur GitHub. Carte Prototype de RepoMasters. A Low Barrier Proof Assistant Langage : Python.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [philzook58](https://repo.masters-masters.com/owners/philzook58) |
| Étoiles | 180 |
| Forks | 9 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | MIT |
| Création | 2022 |
| Sujets | logic, theorem-proving, proof-assistant, python |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [philzook58/knuckledragger](https://github.com/philzook58/knuckledragger) |

## Fiche du dépôt

A Low Barrier Proof Assistant

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

## Autres dépôts de philzook58

- [philzook58/awesome-egraphs · ★ 377 · Alpha](https://repo.masters-masters.com/repos/philzook58/awesome-egraphs)
- [philzook58/z3\_tutorial · ★ 171 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/repos/philzook58/z3_tutorial)

## D’autres dépôts Python

- [binbingwu/Multi-Agent-Game-Localizer · ★ 180 · Python · Prototype](https://repo.masters-masters.com/repos/binbingwu/Multi-Agent-Game-Localizer)
- [Simreal-AI/future-prediction-bench · ★ 180 · Python · Prototype](https://repo.masters-masters.com/repos/Simreal-AI/future-prediction-bench)
- [PandaSI-Labs/pandasi-agent · ★ 180 · Python · Prototype](https://repo.masters-masters.com/repos/PandaSI-Labs/pandasi-agent)
- [fedora-infra/bodhi · ★ 180 · Python · Prototype](https://repo.masters-masters.com/repos/fedora-infra/bodhi)
- [gaphor/gaphas · ★ 180 · Python · Prototype](https://repo.masters-masters.com/repos/gaphor/gaphas)
- [coleifer/irc · ★ 180 · Python · Prototype](https://repo.masters-masters.com/repos/coleifer/irc)

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