lean4monaco vulnerabilities
Monaco Editor support for the Lean 4 theorem prover.
latest version
1.0.46
latest non vulnerable version
first published
9 months ago
latest version published
1 months ago
licenses detected
- >=0
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 vulnerabilitiesPackage versions
1 - 46 of 46 Results
| version | published | direct vulnerabilities |
|---|---|---|
| 1.0.46 | 11 Mar, 2025 |
|
| 1.0.45 | 11 Mar, 2025 |
|
| 1.0.43 | 6 Mar, 2025 |
|
| 1.0.42 | 27 Feb, 2025 |
|
| 1.0.41 | 27 Feb, 2025 |
|
| 1.0.40 | 27 Feb, 2025 |
|
| 1.0.39 | 27 Feb, 2025 |
|
| 1.0.38 | 27 Feb, 2025 |
|
| 1.0.37 | 25 Feb, 2025 |
|
| 1.0.36 | 21 Feb, 2025 |
|
| 1.0.35 | 17 Sep, 2024 |
|
| 1.0.34 | 2 Sep, 2024 |
|
| 1.0.33 | 31 Aug, 2024 |
|
| 1.0.32 | 25 Aug, 2024 |
|
| 1.0.31 | 24 Aug, 2024 |
|
| 1.0.30 | 20 Aug, 2024 |
|
| 1.0.29 | 20 Aug, 2024 |
|
| 1.0.28 | 16 Aug, 2024 |
|
| 1.0.27 | 15 Aug, 2024 |
|
| 1.0.26 | 13 Aug, 2024 |
|
| 1.0.25 | 13 Aug, 2024 |
|
| 1.0.24 | 9 Aug, 2024 |
|
| 1.0.23 | 8 Aug, 2024 |
|
| 1.0.22 | 8 Aug, 2024 |
|
| 1.0.21 | 8 Aug, 2024 |
|
| 1.0.20 | 8 Aug, 2024 |
|
| 1.0.19 | 8 Aug, 2024 |
|
| 1.0.18 | 7 Aug, 2024 |
|
| 1.0.17 | 7 Aug, 2024 |
|
| 1.0.16 | 7 Aug, 2024 |
|
| 1.0.15 | 2 Aug, 2024 |
|
| 1.0.14 | 1 Aug, 2024 |
|
| 1.0.13 | 1 Aug, 2024 |
|
| 1.0.12 | 1 Aug, 2024 |
|
| 1.0.11 | 31 Jul, 2024 |
|
| 1.0.10 | 29 Jul, 2024 |
|
| 1.0.9 | 29 Jul, 2024 |
|
| 1.0.8 | 24 Jul, 2024 |
|
| 1.0.7 | 18 Jul, 2024 |
|
| 1.0.6 | 16 Jul, 2024 |
|
| 1.0.5 | 16 Jul, 2024 |
|
| 1.0.4 | 14 Jul, 2024 |
|
| 1.0.3 | 14 Jul, 2024 |
|
| 1.0.2 | 14 Jul, 2024 |
|
| 1.0.1 | 14 Jul, 2024 |
|
| 1.0.0 | 14 Jul, 2024 |
|