midspiralLemmaScript

verification toolchain for TypeScript (Tech Preview)
Displaying 1-15 of 15 versions of LemmaScript
Sort by
  1. Not a part of any version track.
    bcaf168
    v0.6.1
    2 days ago
    Released on August 25, 2026 at 1:05:20AM
    Commit bcaf168 fails to build on leanprover/lean4:v4.24.0
    v4.24.0
  2. Not a part of any version track.
    bcaf168
    v0.6.1
    2 days ago
    Released on August 25, 2026 at 1:05:20AM
    Commit bcaf168 fails to build on leanprover/lean4:v4.24.0
    v4.24.0
  3. Not a part of any version track.
    c948843
    v0.6.0
    18 days ago
    Released on August 8, 2026 at 11:10:03PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0
  4. Not a part of any version track.
    46ba07f
    v0.5.22
    18 days ago
    Released on August 8, 2026 at 1:28:37PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0
  5. Not a part of any version track.
    9766422
    v0.5.21
    18 days ago
    Released on August 8, 2026 at 11:06:28AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0
  6. Not a part of any version track.
    bb1e679
    v0.5.20
    21 days ago
    Released on August 5, 2026 at 11:48:02PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0
  7. Not a part of any version track.
    80b965a
    v0.5.19
    a month ago
    Released on July 27, 2026 at 2:25:39AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0
  8. Not a part of any version track.
    602dbcb
    v0.5.18
    a month ago
    Released on July 19, 2026 at 10:31:32AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0
  9. Not a part of any version track.
    6bee8ea
    v0.5.17
    a month ago
    Released on July 16, 2026 at 7:10:20PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0
  10. Not a part of any version track.
    2545d72
    v0.5.16
    2 months ago
    Released on July 11, 2026 at 4:39:24PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0
  11. Not a part of any version track.
    c71bfc6
    v0.5.15
    2 months ago
    Released on July 11, 2026 at 11:33:02AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0
  12. Not a part of any version track.
    c632171
    v0.5.14
    2 months ago
    Released on July 10, 2026 at 7:56:02PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0
  13. Not a part of any version track.
    a6a0c74
    v0.5.13
    2 months ago
    Released on July 8, 2026 at 7:14:03PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0
  14. Not a part of any version track.
    814cf9d
    v0.5.12
    2 months ago
    Released on July 6, 2026 at 3:21:09AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0
  15. Not a part of any version track.
    a5906ac
    v0.5.11
    2 months ago
    Released on July 6, 2026 at 1:10:12AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0