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.

Stars
 (1 Star)
Forks
 (0 Forks)
Indexierte Issues
 (0 indexierte Issues)
offene Einsteiger-Issues
 (0 offene Einsteiger-Issues)
Zuletzt indexiert
Noch nicht indexiert
Letzter GitHub Push
16. Juni 2026
Lizenz
Keine Lizenzdaten
Contributing Guide
Kein Contributing Guide
Code of Conduct
Kein Code of Conduct
Hauptsprache
Python
PR-Merge-Metriken
 (PR-Metriken ausstehend)
Einsteiger-Labels
Keine Einsteiger-Labels indexiert

Issues

0 offene indexierte Issues

Für dieses Repository wurden keine offenen indexierten Issues gefunden.