Homepage

lean4monaco vulnerabilities

Monaco Editor support for the Lean 4 theorem prover.

< Back for full overview of lean4monaco vulnerabilities

Package versions

55 VERSIONS IN TOTAL
versionpublisheddirect vulnerabilities
1.0.141 Aug, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.131 Aug, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.121 Aug, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.1131 Jul, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.1029 Jul, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.929 Jul, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.824 Jul, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.718 Jul, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.616 Jul, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.516 Jul, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.414 Jul, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.314 Jul, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.214 Jul, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.114 Jul, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.014 Jul, 2024
  • 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