Homepage

@leanprover/infoview-api

Types and API for @leanprover/infoview.

< Back for full overview of @leanprover/infoview-api vulnerabilities

Package versions

14 VERSIONS IN TOTAL
versionpublisheddirect vulnerabilities
0.13.013 Apr, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.12.013 Mar, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.11.026 Feb, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.10.013 Oct, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.9.023 Sep, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.8.015 Sep, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.7.023 Apr, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.6.027 Mar, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.013 Jan, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.07 May, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.2.115 Jan, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.2.1-alpha.110 Jan, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.2.024 Nov, 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