pantograph
(Mirror) A Machine-to-Machine Interaction System for Lean 4
Displaying 1-20 of 29 versions of pantograph
Sort by
Date
- Not a part of any version track.
e7395af
12 days agoReleased on August 26, 2025 at 8:50:29PMCommit e7395af builds on its recent leanprover/lean4:v4.22.0v4.22.054.0 MB Build archive size: 54030651 bytes. - Not a part of any version track.
f6d34ef
v0.3.712 days 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.
0698d6c
v0.3.6a month 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.
dbc5082
v0.3.5a month 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.
757db11
v0.3.42 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.
4c7f77b
v0.3.32 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.
9a8b504
v0.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.
120eb90
v0.3.14 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.
4e44b14
v0.3.05 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.
4435a64
v0.2.257 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.
ef4e5ec
v0.2.248 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.
3744cfa
v0.2.239 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.
f14a378
v0.2.229 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.
ebf9ab2
v0.2.219 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.
f9d3159
v0.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.
a11127a
v0.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.
e0ba65a
v0.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.
27e4e45
v0.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.
aeed233
v0.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 - Not a part of any version track.
a3a2441
v0.2.13a year agoReleased on March 17, 2024 at 2:00:28AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.7.0-rc2