pantograph
(Mirror) A Machine-to-Machine Interaction System for Lean 4
Displaying 1-20 of 22 versions of pantograph
Sort by
Date
- Not a part of any version track.
d047b1da day agoReleased on December 23, 2025 at 9:29:06PMCommit d047b1d builds on its recent leanprover/lean4:v4.26.0v4.26.068.2 MB Build archive size: 68160488 bytes. - Not a part of any version track.
8daf04av0.3.1113 days agoReleased on December 12, 2025 at 4:56:10AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.25.2 - Not a part of any version track.
bc12af2v0.3.10a month agoReleased on November 17, 2025 at 9:31:40AMCommit bc12af2 builds on its old leanprover/lean4:v4.24.0v4.24.066.1 MB Build archive size: 66133043 bytes. - Not a part of any version track.
03513a2v0.3.92 months 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: 63704898 bytes. - Not a part of any version track.
daea2bev0.3.83 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.74 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.64 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.55 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.45 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.36 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.26 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.18 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.09 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.25a year 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.24a year 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