LemmaScript
verification toolchain for TypeScript (Tech Preview)
Displaying 1-16 of 16 versions of LemmaScript
Sort by
Date
- Not a part of any version track.
bf2a630v0.6.23 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.
bf2a630v0.6.23 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.122 days 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.0a month 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.22a month 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.21a month 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.20a month 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.182 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.172 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.162 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.152 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.142 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.132 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.122 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.112 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