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 51 versions of unsorry
Sort by
  1. 0.4Version track: 0.4
    0.4.0
    9 days ago
    Released on July 2, 2026 at 6:04:12PM
    Commit e1e7409 builds on its old leanprover/lean4:v4.30.0
    v4.30.0
    398.0 MB Build archive size: 398035949 bytes.
  2. 0.4Version track: 0.4
    0.4.0
    v2.2.0
    11 days ago
    Released on June 30, 2026 at 8:57:07AM
    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
    v2.1.0
    12 days ago
    Released on June 29, 2026 at 10:26:13AM
    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
    v2.0.0
    16 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
  5. 0.4Version track: 0.4
    0.4.0
    v1.33.0
    18 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
  6. 0.4Version track: 0.4
    0.4.0
    v1.32.0
    18 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
  7. 0.4Version track: 0.4
    0.4.0
    v1.31.0
    19 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
  8. 0.4Version track: 0.4
    0.4.0
    v1.30.0
    19 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
  9. 0.4Version track: 0.4
    0.4.0
    v1.29.0
    21 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
  10. 0.4Version track: 0.4
    0.4.0
    v1.28.0
    21 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
  11. 0.4Version track: 0.4
    0.4.0
    v1.27.0
    21 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
  12. 0.4Version track: 0.4
    0.4.0
    v1.26.0
    22 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
  13. 0.4Version track: 0.4
    0.4.0
    v1.25.0
    24 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
  14. 0.4Version track: 0.4
    0.4.0
    v1.24.0
    24 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
  15. 0.4Version track: 0.4
    0.4.0
    v1.23.0
    24 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
  16. 0.4Version track: 0.4
    0.4.0
    v1.22.2
    24 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
  17. 0.4Version track: 0.4
    0.4.0
    v1.22.1
    24 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
  18. 0.4Version track: 0.4
    0.4.0
    v1.22.0
    24 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
  19. 0.4Version track: 0.4
    0.4.0
    v1.21.0
    24 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
  20. 0.4Version track: 0.4
    0.4.0
    v1.20.0
    24 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