agenticsnzunsorry0.4.0

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.
#math
Displaying 1-20 of 49 versions of unsorry
Sort by
  1. 0.4Version track: 0.4
    0.4.0
    an hour ago
    Released on June 28, 2026 at 2:25:47PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  2. 0.4Version track: 0.4
    0.4.0
    v2.0.0
    3 days ago
    Released on June 25, 2026 at 10:58:40AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  3. 0.4Version track: 0.4
    0.4.0
    v1.33.0
    5 days ago
    Released on June 24, 2026 at 3:24:28AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  4. 0.4Version track: 0.4
    0.4.0
    v1.32.0
    5 days ago
    Released on June 23, 2026 at 8:53:59AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  5. 0.4Version track: 0.4
    0.4.0
    v1.31.0
    6 days ago
    Released on June 22, 2026 at 9:54:26AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  6. 0.4Version track: 0.4
    0.4.0
    v1.30.0
    7 days ago
    Released on June 22, 2026 at 3:52:36AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  7. 0.4Version track: 0.4
    0.4.0
    v1.29.0
    8 days ago
    Released on June 20, 2026 at 9:34:39PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  8. 0.4Version track: 0.4
    0.4.0
    v1.28.0
    8 days ago
    Released on June 20, 2026 at 10:04:05AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  9. 0.4Version track: 0.4
    0.4.0
    v1.27.0
    8 days ago
    Released on June 20, 2026 at 7:21:18AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  10. 0.4Version track: 0.4
    0.4.0
    v1.26.0
    9 days ago
    Released on June 20, 2026 at 12:56:57AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  11. 0.4Version track: 0.4
    0.4.0
    v1.25.0
    11 days ago
    Released on June 18, 2026 at 12:31:49AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  12. 0.4Version track: 0.4
    0.4.0
    v1.24.0
    11 days ago
    Released on June 17, 2026 at 11:27:13PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  13. 0.4Version track: 0.4
    0.4.0
    v1.23.0
    11 days ago
    Released on June 17, 2026 at 8:31:31PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  14. 0.4Version track: 0.4
    0.4.0
    v1.22.2
    11 days ago
    Released on June 17, 2026 at 8:09:21PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  15. 0.4Version track: 0.4
    0.4.0
    v1.22.1
    11 days ago
    Released on June 17, 2026 at 8:02:01PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  16. 0.4Version track: 0.4
    0.4.0
    v1.22.0
    11 days ago
    Released on June 17, 2026 at 7:29:07PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  17. 0.4Version track: 0.4
    0.4.0
    v1.21.0
    11 days ago
    Released on June 17, 2026 at 5:26:46PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  18. 0.4Version track: 0.4
    0.4.0
    v1.20.0
    11 days ago
    Released on June 17, 2026 at 10:12:45AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  19. 0.4Version track: 0.4
    0.4.0
    v1.19.0
    11 days ago
    Released on June 17, 2026 at 8:15:01AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  20. 0.4Version track: 0.4
    0.4.0
    v1.18.0
    11 days ago
    Released on June 17, 2026 at 7:24:31AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0