# tobiasosborne/alethfeld

<https://repo.masters-masters.com/repos/tobiasosborne/alethfeld>

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

tobiasosborne/alethfeld, dépôt open source à 144 étoiles sur GitHub. Carte Prototype de RepoMasters. Rigorous Proofs via Adversarial AI Agents

| Champ | Valeur |
| --- | --- |
| Propriétaire | [tobiasosborne](https://repo.masters-masters.com/owners/tobiasosborne) |
| Étoiles | 144 |
| Forks | 13 |
| Langage | [Clojure](https://repo.masters-masters.com/languages/clojure) |
| Licence | MIT |
| Création | 2025 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [tobiasosborne/alethfeld](https://github.com/tobiasosborne/alethfeld) |

## Fiche du dépôt

Rigorous Proofs via Adversarial AI Agents

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 Clojure

- [crs48/cause · ★ 144 · Clojure · Prototype](https://repo.masters-masters.com/repos/crs48/cause)
- [yetanalytics/lrsql · ★ 144 · Clojure · Prototype](https://repo.masters-masters.com/repos/yetanalytics/lrsql)
- [AbhinavOmprakash/luna · ★ 144 · Clojure · Prototype](https://repo.masters-masters.com/repos/AbhinavOmprakash/luna)
- [antoniogarrote/clj-ml · ★ 144 · Clojure · Prototype](https://repo.masters-masters.com/repos/antoniogarrote/clj-ml)
- [jasonjckn/llvm-clojure-bindings · ★ 144 · Clojure · Prototype](https://repo.masters-masters.com/repos/jasonjckn/llvm-clojure-bindings)
- [bendyworks/lean-map · ★ 144 · Clojure · Prototype](https://repo.masters-masters.com/repos/bendyworks/lean-map)

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