PrototypeCommon
tobiasosborne/alethfeld
Rigorous Proofs via Adversarial AI Agents
- Owner
- tobiasosborne (personal account)
- Stars
- Stars: 144
- Forks
- Forks: 13
- Language
- Clojure
- License
- MIT
- Created
- 2025
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Clojure
All Clojure repos- crs48/causeStars: 144ClojurePrototype
- yetanalytics/lrsqlStars: 144ClojurePrototype
- AbhinavOmprakash/lunaStars: 144ClojurePrototype
- antoniogarrote/clj-mlStars: 144ClojurePrototype
- jasonjckn/llvm-clojure-bindingsStars: 144ClojurePrototype
- bendyworks/lean-mapStars: 144ClojurePrototype