Homepage

lemmascript

A verification toolchain for TypeScript — generates Lean 4 or Dafny from annotated TS

< Back for full overview of lemmascript vulnerabilities

Package versions

33 VERSIONS IN TOTAL
versionpublisheddirect vulnerabilities
0.5.42 Jun, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.32 Jun, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.228 May, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.124 May, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.024 May, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.020 Apr, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.3.318 Apr, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.3.214 Apr, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.3.114 Apr, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.3.013 Apr, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.2.011 Apr, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.1.05 Apr, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.11 Apr, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L

Automatically find and fix vulnerabilities affecting your projects. Snyk scans for vulnerabilities and provides fixes for free.

Get started free