# philzook58/knuckledragger

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

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

philzook58/knuckledragger has 180 stars on GitHub. Its RepoMasters card: Prototype tier. A Low Barrier Proof Assistant Language: Python.

| Field | Value |
| --- | --- |
| Owner | [philzook58](https://repo.masters-masters.com/en/owners/philzook58) |
| Stars | 180 |
| Forks | 9 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | MIT |
| Created | 2022 |
| Topics | logic, theorem-proving, proof-assistant, python |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [philzook58/knuckledragger](https://github.com/philzook58/knuckledragger) |

## Repository

A Low Barrier Proof Assistant

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

## More repos by philzook58

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

## Nearby in Python

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

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