unsorry
★ 2
updated 1mo ago
⑂ fork
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.
No plain-English explanation yet — one is being written right now. Check back in a minute.