Repository Issues
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.
Issues
No indexed issues found for this repository.
Daily Newsletter
Get fresh easy issues in your inbox.
Subscribe to GoodFirstIssue Daily for newly found easy issues that are ready for beginner-friendly open source work.