midspiralLemmaScript

verification toolchain for TypeScript (Tech Preview)
Displaying 1-10 of 10 versions of LemmaScript
Sort by
  1. Not a part of any version track.
    6dc4e52
    17 hours ago
    Released on August 5, 2026 at 2:57:39AM
    Commit 6dc4e52 fails to build on leanprover/lean4:v4.24.0
    v4.24.0
  2. Not a part of any version track.
    80b965a
    v0.5.19
    10 days 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
  3. Not a part of any version track.
    602dbcb
    v0.5.18
    17 days 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
  4. Not a part of any version track.
    6bee8ea
    v0.5.17
    20 days 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
  5. Not a part of any version track.
    2545d72
    v0.5.16
    25 days 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
  6. Not a part of any version track.
    c71bfc6
    v0.5.15
    25 days 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
  7. Not a part of any version track.
    c632171
    v0.5.14
    a month 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
  8. Not a part of any version track.
    a6a0c74
    v0.5.13
    a month 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
  9. Not a part of any version track.
    814cf9d
    v0.5.12
    a month 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
  10. Not a part of any version track.
    a5906ac
    v0.5.11
    a month 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