leanproverpantograph

(Mirror) A Machine-to-Machine Interaction System for Lean 4
#machine-learning #proof-assistant #theorem-proving
Displaying 1-20 of 32 versions of pantograph
Sort by
  1. Not a part of any version track.
    1c871c9
    9 days ago
    Released on November 25, 2025 at 11:38:28PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0
  2. Not a part of any version track.
    bc12af2
    v0.3.10
    17 days ago
    Released on November 17, 2025 at 9:31:40AM
    Commit bc12af2 builds on its old leanprover/lean4:v4.24.0
    v4.24.0
    66.1 MB Build archive size: 66133043 bytes.
  3. Not a part of any version track.
    03513a2
    v0.3.9
    2 months ago
    Released on October 15, 2025 at 2:39:49AM
    Commit 03513a2 builds on its old leanprover/lean4:v4.23.0
    v4.23.0
    63.7 MB Build archive size: 63704898 bytes.
  4. Not a part of any version track.
    daea2be
    v0.3.8
    2 months ago
    Released on September 20, 2025 at 4:35:25AM
    Commit daea2be builds on its old leanprover/lean4:v4.22.0
    v4.22.0
    54.6 MB Build archive size: 54600030 bytes.
  5. Not a part of any version track.
    f6d34ef
    v0.3.7
    3 months ago
    Released on August 26, 2025 at 4:40:28AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.22.0
  6. Not a part of any version track.
    0698d6c
    v0.3.6
    4 months ago
    Released on August 11, 2025 at 9:58:53PM
    Commit 0698d6c builds on its old leanprover/lean4:v4.21.0
    v4.21.0
    60.0 MB Build archive size: 60042110 bytes.
  7. Not a part of any version track.
    dbc5082
    v0.3.5
    4 months ago
    Released on July 31, 2025 at 4:56:05AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.21.0
  8. Not a part of any version track.
    757db11
    v0.3.4
    5 months ago
    Released on July 12, 2025 at 3:17:52AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.21.0
  9. Not a part of any version track.
    4c7f77b
    v0.3.3
    5 months ago
    Released on July 1, 2025 at 10:41:55PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.20.1
  10. Not a part of any version track.
    9a8b504
    v0.3.2
    6 months ago
    Released on June 18, 2025 at 11:39:18PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.20.1
  11. Not a part of any version track.
    120eb90
    v0.3.1
    7 months ago
    Released on May 1, 2025 at 5:41:47PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.18.0
  12. Not a part of any version track.
    4e44b14
    v0.3.0
    8 months ago
    Released on April 9, 2025 at 7:23:18AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.18.0
  13. Not a part of any version track.
    4435a64
    v0.2.25
    10 months ago
    Released on January 29, 2025 at 1:42:54AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.15.0
  14. Not a part of any version track.
    ef4e5ec
    v0.2.24
    a year ago
    Released on January 10, 2025 at 8:55:26PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.12.0
  15. Not a part of any version track.
    3744cfa
    v0.2.23
    a year ago
    Released on December 12, 2024 at 12:52:19AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.12.0
  16. Not a part of any version track.
    f14a378
    v0.2.22
    a year ago
    Released on December 11, 2024 at 5:09:33PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.12.0
  17. Not a part of any version track.
    ebf9ab2
    v0.2.21
    a year ago
    Released on December 6, 2024 at 12:02:25AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.12.0
  18. Not a part of any version track.
    f9d3159
    v0.2.20
    a year ago
    Released on November 15, 2024 at 10:56:51PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.12.0
  19. Not a part of any version track.
    a11127a
    v0.2.19
    a year ago
    Released on October 12, 2024 at 11:59:41PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.12.0
  20. Not a part of any version track.
    e0ba65a
    v0.2.19-alpha
    a year ago
    Released on October 10, 2024 at 1:08:09AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.12.0