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.1.812 Mar, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.1.74 Mar, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.1.68 Jan, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.1.525 Dec, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.1.430 Nov, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.1.317 Jun, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.1.216 Jun, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.1.110 Jun, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.1.010 Jun, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.4611 Mar, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.4511 Mar, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.436 Mar, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.4227 Feb, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.4127 Feb, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.4027 Feb, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.3927 Feb, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.3827 Feb, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.3725 Feb, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.3621 Feb, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.3517 Sep, 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