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 33 versions of unsorry
Sort by
  1. 0.4Version track: 0.4
    0.4.0
    6 hours ago
    Released on June 17, 2026 at 3:19:03PM
    Commit 6d8123b builds on its old leanprover/lean4:v4.30.0
    v4.30.0
    196.3 MB Build archive size: 196263263 bytes.
  2. 0.4Version track: 0.4
    0.4.0
    v1.20.0
    11 hours 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
  3. 0.4Version track: 0.4
    0.4.0
    v1.19.0
    13 hours 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
  4. 0.4Version track: 0.4
    0.4.0
    v1.18.0
    14 hours 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
  5. 0.4Version track: 0.4
    0.4.0
    v1.17.1
    14 hours ago
    Released on June 17, 2026 at 7:22:02AM
    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.17.0
    17 hours ago
    Released on June 17, 2026 at 4:36:38AM
    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.16.0
    17 hours ago
    Released on June 17, 2026 at 4:07:27AM
    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.15.0
    2 days ago
    Released on June 15, 2026 at 10:26:46PM
    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.14.0
    3 days ago
    Released on June 15, 2026 at 1:59:08AM
    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.13.0
    3 days ago
    Released on June 14, 2026 at 9:42:01PM
    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.12.0
    4 days ago
    Released on June 14, 2026 at 8:46:14AM
    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.11.0
    4 days ago
    Released on June 14, 2026 at 5:38:42AM
    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.10.0
    4 days ago
    Released on June 14, 2026 at 12:49:16AM
    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.9.1
    4 days ago
    Released on June 13, 2026 at 11:46:15PM
    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.9.0
    4 days ago
    Released on June 13, 2026 at 8:13:40PM
    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.8.0
    4 days ago
    Released on June 13, 2026 at 11:47:47AM
    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.7.0
    4 days ago
    Released on June 13, 2026 at 10:32:55AM
    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.6.2
    6 days ago
    Released on June 12, 2026 at 5:02:54AM
    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.6.1
    6 days ago
    Released on June 12, 2026 at 4:00:07AM
    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.6.0
    6 days ago
    Released on June 12, 2026 at 3:31:37AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0