Homepage

@leanprover/infoview

An interactive display for the Lean 4 theorem prover.

< Back for full overview of @leanprover/infoview vulnerabilities

Package versions

33 VERSIONS IN TOTAL
versionpublisheddirect vulnerabilities
0.7.119 Jun, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.7.07 May, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.517 Feb, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.47 Dec, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.37 Apr, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.215 Jan, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.2-alpha.110 Jan, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.1-alpha.210 Jan, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.15 Dec, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.01 Dec, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.3.024 Nov, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.2.015 Sep, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.1.026 Jul, 2022
  • 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