Homepage

lean-language-server vulnerabilities

Language Server Protocol server for Lean 3

  • latest version

    3.4.0

  • latest non vulnerable version

    3.4.0

  • first published

    7 years ago

  • latest version published

    2 years ago

  • licenses detected

  • View lean-language-server 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

    1 - 27 of 27 Results
    versionpublisheddirect vulnerabilities
    3.4.017 Jul, 2022
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    3.3.123 Jun, 2022
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    3.3.023 Jun, 2022
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    3.2.020 Apr, 2022
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    3.1.116 Aug, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    3.1.016 Aug, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    3.0.016 Aug, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    2.0.424 Jun, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    2.0.324 Jun, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    2.0.224 Jun, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    2.0.13 Nov, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    2.0.021 Sep, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.5.024 Jun, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.4.010 Jun, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.3.29 Jun, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.3.18 Jun, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.3.08 Jun, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.2.134 Feb, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.2.1215 Feb, 2018
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.2.1130 Jun, 2017
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.2.1015 Jun, 2017
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.2.915 Jun, 2017
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.2.821 May, 2017
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.2.721 May, 2017
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.2.621 May, 2017
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.2.53 May, 2017
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.2.43 May, 2017
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L