PrototypeCommune
tobiasosborne/alethfeld
Rigorous Proofs via Adversarial AI Agents
- Propriétaire
- tobiasosborne (compte personnel)
- Étoiles
- Étoiles : 144
- Forks
- Forks : 13
- Langage
- Clojure
- Licence
- MIT
- Création
- 2025
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Clojure
Tous les dépôts Clojure- crs48/causeÉtoiles : 144ClojurePrototype
- yetanalytics/lrsqlÉtoiles : 144ClojurePrototype
- AbhinavOmprakash/lunaÉtoiles : 144ClojurePrototype
- antoniogarrote/clj-mlÉtoiles : 144ClojurePrototype
- jasonjckn/llvm-clojure-bindingsÉtoiles : 144ClojurePrototype
- bendyworks/lean-mapÉtoiles : 144ClojurePrototype