LemmaScript
verification toolchain for TypeScript (Tech Preview)
Displaying 1-18 of 18 versions of LemmaScript
Sort by
Date
- Not a part of any version track.
557d6bf4 days agoReleased on October 1, 2026 at 2:55:07AMCommit 557d6bf fails to build on leanprover/lean4:v4.34.0v4.34.0 - Not a part of any version track.
097f18fv0.6.415 days 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.319 days 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.222 days 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.1a month 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.02 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.222 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.212 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.202 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.192 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.183 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.173 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.163 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.153 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.143 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 - Not a part of any version track.
a6a0c74v0.5.133 months agoReleased on July 8, 2026 at 7:14:03PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
814cf9dv0.5.123 months agoReleased on July 6, 2026 at 3:21:09AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
a5906acv0.5.113 months agoReleased on July 6, 2026 at 1:10:12AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0