pantograph
(Mirror) A Machine-to-Machine Interaction System for Lean 4
Displaying 1-20 of 31 versions of pantograph
Sort by
Date
- Not a part of any version track.
03513a2v0.3.924 days agoReleased on October 15, 2025 at 2:39:49AMCommit 03513a2 builds on its old leanprover/lean4:v4.23.0v4.23.063.7 MB Build archive size: 63705252 bytes. - Not a part of any version track.
03513a2v0.3.924 days agoReleased on October 15, 2025 at 2:39:49AMCommit 03513a2 builds on its old leanprover/lean4:v4.23.0v4.23.063.7 MB Build archive size: 63705252 bytes. - Not a part of any version track.
daea2bev0.3.82 months agoReleased on September 20, 2025 at 4:35:25AMCommit daea2be builds on its old leanprover/lean4:v4.22.0v4.22.054.6 MB Build archive size: 54600030 bytes. - Not a part of any version track.
f6d34efv0.3.72 months agoReleased on August 26, 2025 at 4:40:28AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.22.0 - Not a part of any version track.
0698d6cv0.3.63 months agoReleased on August 11, 2025 at 9:58:53PMCommit 0698d6c builds on its old leanprover/lean4:v4.21.0v4.21.060.0 MB Build archive size: 60042110 bytes. - Not a part of any version track.
dbc5082v0.3.53 months agoReleased on July 31, 2025 at 4:56:05AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.21.0 - Not a part of any version track.
757db11v0.3.44 months agoReleased on July 12, 2025 at 3:17:52AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.21.0 - Not a part of any version track.
4c7f77bv0.3.34 months agoReleased on July 1, 2025 at 10:41:55PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.20.1 - Not a part of any version track.
9a8b504v0.3.25 months agoReleased on June 18, 2025 at 11:39:18PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.20.1 - Not a part of any version track.
120eb90v0.3.16 months agoReleased on May 1, 2025 at 5:41:47PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.18.0 - Not a part of any version track.
4e44b14v0.3.07 months agoReleased on April 9, 2025 at 7:23:18AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.18.0 - Not a part of any version track.
4435a64v0.2.259 months agoReleased on January 29, 2025 at 1:42:54AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.15.0 - Not a part of any version track.
ef4e5ecv0.2.2410 months agoReleased on January 10, 2025 at 8:55:26PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.12.0 - Not a part of any version track.
3744cfav0.2.23a year agoReleased on December 12, 2024 at 12:52:19AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.12.0 - Not a part of any version track.
f14a378v0.2.22a year agoReleased on December 11, 2024 at 5:09:33PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.12.0 - Not a part of any version track.
ebf9ab2v0.2.21a year agoReleased on December 6, 2024 at 12:02:25AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.12.0 - Not a part of any version track.
f9d3159v0.2.20a year agoReleased on November 15, 2024 at 10:56:51PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.12.0 - Not a part of any version track.
a11127av0.2.19a year agoReleased on October 12, 2024 at 11:59:41PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.12.0 - Not a part of any version track.
e0ba65av0.2.19-alphaa year agoReleased on October 10, 2024 at 1:08:09AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.12.0 - Not a part of any version track.
27e4e45v0.2.18a year agoReleased on September 8, 2024 at 7:25:06PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.10.0-rc1