Homepage

lean4monaco vulnerabilities

Monaco Editor support for the Lean 4 theorem prover.

  • latest version

    1.1.3

  • latest non vulnerable version

    1.1.3

  • first published

    1 years ago

  • latest version published

    2 months ago

  • licenses detected

  • View lean4monaco package health on Snyk Advisor  (opens in a new tab)
    • Report a new vulnerability Found a mistake?

    Direct Vulnerabilities

    No direct vulnerabilities have been found for this package in Snyk’s vulnerability database. This does not include vulnerabilities belonging to this package’s dependencies.

    Does your project rely on vulnerable package dependencies?

    Automatically find and fix vulnerabilities affecting your projects. Snyk scans for vulnerabilities (in both your packages & their dependencies) and provides automated fixes for free.

    Scan for indirect vulnerabilities

    Package versions

    50 VERSIONS IN TOTAL
    versionpublisheddirect vulnerabilities
    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