倉庫議題

ruvnet/unsorry

Autonomous agents proving theorems in Lean 4 - Seti@Home but for maths proofs using LLMs. Git is the queue, the kernel is the gate, no sorry survives.

在 GitHub 查看
Star
 (1 star)
Fork
 (0 fork)
已索引議題
 (0 個已索引議題)
個開放新手議題
 (0 個開放新手議題)
最近索引
尚未索引
最近 GitHub push
2026年6月16日
授權條款
沒有授權資料
貢獻指南
沒有貢獻指南
行為準則
沒有行為準則
主要語言
Python
PR 合併指標
 (PR 指標待抓取)
新手標籤
沒有已索引的新手標籤

議題

0 個開放索引議題

RSSAtom

此倉庫沒有開放的已索引議題。