leanprover/vscode-lean4
GitHub
Releases237
Frequency1 week 1 day
Last Release
Stars284
VS Code extension for the Lean 4 programming language and theorem prover
Subscribe above to receive notifications when new versions are released.
| Version | Date | Stability Stability is determined by the version string and my be inaccurate. | |
|---|---|---|---|
| v0.0.138 | Stable | ||
| v0.0.137 | Stable | ||
| v0.0.136 | Stable | ||
| v0.0.135 | Stable | ||
| v0.0.134 | Stable | ||
| v0.0.133 | Stable | ||
| v0.0.132 | Stable | ||
| v0.0.131 | Stable | ||
| v0.0.130 | Stable | ||
| v0.0.129 | Stable | ||
| v0.0.128 | Stable | ||
| v0.0.127 | Stable | ||
| v0.0.126 | Stable | ||
| v0.0.125 | Stable | ||
| v0.0.124 | Stable | ||
| v0.0.123 | Stable | ||
| v0.0.122 | Stable | ||
| v0.0.121 | Stable | ||
| v0.0.120 | Stable | ||
| v0.0.119 | Stable | ||
| v0.0.118 | Stable | ||
| v0.0.117 | Stable | ||
| v0.0.116-pre | RC | ||
| v0.0.115-pre | RC | ||
| v0.0.114-pre | RC |