@leanprover/infoview
An interactive display for the Lean 4 theorem prover.
Package versions
33 VERSIONS IN TOTAL
| version | published | direct vulnerabilities |
|---|---|---|
| 0.13.0 | 13 Apr, 2026 |
|
| 0.12.0 | 13 Mar, 2026 |
|
| 0.11.1 | 7 Mar, 2026 |
|
| 0.11.0 | 26 Feb, 2026 |
|
| 0.10.0 | 13 Oct, 2025 |
|
| 0.9.0 | 23 Sep, 2025 |
|
| 0.8.6 | 15 Sep, 2025 |
|
| 0.8.5 | 30 Apr, 2025 |
|
| 0.8.4 | 23 Apr, 2025 |
|
| 0.8.3 | 27 Mar, 2025 |
|
| 0.8.2 | 25 Feb, 2025 |
|
| 0.8.1 | 30 Jan, 2025 |
|
| 0.8.0 | 13 Jan, 2025 |
|
| 0.7.9 | 5 Dec, 2024 |
|
| 0.7.7 | 17 Oct, 2024 |
|
| 0.7.6 | 17 Oct, 2024 |
|
| 0.7.5 | 16 Oct, 2024 |
|
| 0.7.4 | 16 Oct, 2024 |
|
| 0.7.3 | 22 Jul, 2024 |
|
| 0.7.2 | 20 Jun, 2024 |
|