Homepage

@leanprover/infoview-api

Types and API for @leanprover/infoview.
Licenses: Apache-2.0
Published: 3 years ago Last updated: 2 months ago Latest version: 0.13.0 Latest non-vulnerable version: 0.13.0

License

Apache-2.0>=0;
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
No vulnerabilities found

No vulnerabilities found in the latest version

Package versions

14 VERSIONS IN TOTAL See all versions
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