Homepage

lean-language-server vulnerabilities

Language Server Protocol server for Lean 3

< Back for full overview of lean-language-server vulnerabilities

Package versions

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

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

Get started free