LemmaScript
verification toolchain for TypeScript (Tech Preview)
Displaying 1-20 of 23 versions of LemmaScript
Sort by
Date
- Not a part of any version track.
566df0d16 hours agoReleased on November 14, 2026 at 3:45:21AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.34.0 - Not a part of any version track.
0608f5fv0.6.92 days agoReleased on November 13, 2026 at 3:54:46AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.34.0 - Not a part of any version track.
07579c8v0.6.84 days agoReleased on November 11, 2026 at 1:45:25AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.34.0 - Not a part of any version track.
b60848ev0.6.74 days agoReleased on November 10, 2026 at 11:21:43PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.34.0 - Not a part of any version track.
736fb7cv0.6.610 days agoReleased on November 4, 2026 at 5:56:19PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.34.0 - Not a part of any version track.
bdfcbb5v0.6.5a month agoReleased on October 16, 2026 at 6:10:44PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.34.0 - Not a part of any version track.
097f18fv0.6.42 months agoReleased on September 19, 2026 at 8:03:32PMCommit 097f18f fails to build on leanprover/lean4:v4.24.0v4.24.0 - Not a part of any version track.
299e6b0v0.6.32 months agoReleased on September 15, 2026 at 10:09:34PMCommit 299e6b0 fails to build on leanprover/lean4:v4.24.0v4.24.0 - Not a part of any version track.
bf2a630v0.6.22 months agoReleased on September 12, 2026 at 11:46:09PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
bcaf168v0.6.13 months agoReleased on August 25, 2026 at 1:05:20AMCommit bcaf168 fails to build on leanprover/lean4:v4.24.0v4.24.0 - Not a part of any version track.
c948843v0.6.03 months agoReleased on August 8, 2026 at 11:10:03PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
46ba07fv0.5.223 months agoReleased on August 8, 2026 at 1:28:37PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
9766422v0.5.213 months agoReleased on August 8, 2026 at 11:06:28AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
bb1e679v0.5.203 months agoReleased on August 5, 2026 at 11:48:02PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
80b965av0.5.194 months agoReleased on July 27, 2026 at 2:25:39AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
602dbcbv0.5.184 months agoReleased on July 19, 2026 at 10:31:32AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
6bee8eav0.5.174 months agoReleased on July 16, 2026 at 7:10:20PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
2545d72v0.5.164 months agoReleased on July 11, 2026 at 4:39:24PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
c71bfc6v0.5.154 months agoReleased on July 11, 2026 at 11:33:02AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
c632171v0.5.144 months agoReleased on July 10, 2026 at 7:56:02PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0