agenticsnz/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.
39
Stars
12
Forks
39.4
Radar Score
Rising
Momentum
Scoring Breakdown
Impact18.3
Velocity54.8
Health51.7
Growth Metrics
7-Day Stars
+0
30-Day Stars
+0
Acceleration
x
Language
Lean