# DebarghaG/proofofthought

<https://repo.masters-masters.com/repos/DebarghaG/proofofthought>

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

DebarghaG/proofofthought, dépôt open source à 377 étoiles sur GitHub. Carte Alpha de RepoMasters. Proof of thought : LLM-based reasoning using Z3 theorem…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [DebarghaG](https://repo.masters-masters.com/owners/DebarghaG) |
| Étoiles | 377 |
| Forks | 29 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | MIT |
| Création | 2025 |
| Sujets | automated-reasoning, llm, llm-reasoning, trustworthy-ai, z3, llm-inference |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [DebarghaG/proofofthought](https://github.com/DebarghaG/proofofthought) |

## Fiche du dépôt

Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## D’autres dépôts Python

- [mc3545dada/mspm0-skill · ★ 377 · Python · Alpha](https://repo.masters-masters.com/repos/mc3545dada/mspm0-skill)
- [humanfia/humanize · ★ 377 · Python · Alpha](https://repo.masters-masters.com/repos/humanfia/humanize)
- [ekzhang/resin · ★ 377 · Python · Alpha](https://repo.masters-masters.com/repos/ekzhang/resin)
- [kragen/xcompose · ★ 377 · Python · Alpha](https://repo.masters-masters.com/repos/kragen/xcompose)
- [sbp/phenny · ★ 377 · Python · Alpha](https://repo.masters-masters.com/repos/sbp/phenny)
- [vstinner/pysandbox · ★ 377 · Python · Alpha](https://repo.masters-masters.com/repos/vstinner/pysandbox)

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