pantograph
(Mirror) A Machine-to-Machine Interaction System for Lean 4
Displaying 1-20 of 30 versions of pantograph
Sort by
Date
- Not a part of any version track.
daea2bev0.3.88 days agoReleased on September 20, 2025 at 4:35:25AMCommit daea2be builds on its recent leanprover/lean4:v4.22.0v4.22.054.6 MB Build archive size: 54599928 bytes. - Not a part of any version track.
daea2bev0.3.88 days agoReleased on September 20, 2025 at 4:35:25AMCommit daea2be builds on its recent leanprover/lean4:v4.22.0v4.22.054.6 MB Build archive size: 54599928 bytes. - Not a part of any version track.
f6d34efv0.3.7a month 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.62 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.52 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.43 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.33 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.23 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.15 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.06 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.258 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.249 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.2310 months 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.2210 months 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.2110 months 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.2010 months 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 - Not a part of any version track.
aeed233v0.2.14a year agoReleased on March 29, 2024 at 5:36:25AMBuild data not currently included on Reservoir. See the package repository's CI instead.nightly-2024-03-27