lean4monaco vulnerabilities
Monaco Editor support for the Lean 4 theorem prover.
Package versions
55 VERSIONS IN TOTAL
| version | published | direct vulnerabilities |
|---|---|---|
| 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 |
|