leanprover/vscode-lean4

Releases237

Frequency1 week 1 day

Last Release 22 days ago

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.238-pre	May 27, 2026Wednesday, 27 May 2026, 12:18	RC
v0.0.237	May 27, 2026Wednesday, 27 May 2026, 09:43	Stable
v0.0.236	Apr 28, 2026Tuesday, 28 April 2026, 07:58	Stable
v0.0.235-pre	Apr 15, 2026Wednesday, 15 April 2026, 09:10	RC
v0.0.234	Apr 13, 2026Monday, 13 April 2026, 12:35	Stable
v0.0.233-pre	Apr 9, 2026Thursday, 9 April 2026, 07:18	RC
v0.0.232-pre	Apr 7, 2026Tuesday, 7 April 2026, 07:58	RC
v0.0.231-pre	Apr 2, 2026Thursday, 2 April 2026, 08:19	RC
v0.0.230-pre	Apr 1, 2026Wednesday, 1 April 2026, 08:05	RC
v0.0.229	Mar 31, 2026Tuesday, 31 March 2026, 09:42	Stable
v0.0.228-pre	Mar 25, 2026Wednesday, 25 March 2026, 07:49	RC
v0.0.227-pre	Mar 24, 2026Tuesday, 24 March 2026, 14:44	RC
v0.0.226	Mar 24, 2026Tuesday, 24 March 2026, 08:59	Stable
v0.0.225	Mar 5, 2026Thursday, 5 March 2026, 12:23	Stable
v0.0.224	Feb 23, 2026Monday, 23 February 2026, 13:17	Stable
v0.0.223	Feb 9, 2026Monday, 9 February 2026, 12:15	Stable
v0.0.222-pre	Jan 19, 2026Monday, 19 January 2026, 10:48	RC
v0.0.221	Nov 13, 2025Thursday, 13 November 2025, 13:23	Stable
v0.0.220	Nov 4, 2025Tuesday, 4 November 2025, 13:18	Stable
v0.0.219	Oct 31, 2025Friday, 31 October 2025, 18:26	Stable
v0.0.218	Oct 29, 2025Wednesday, 29 October 2025, 08:32	Stable
v0.0.217-pre	Oct 21, 2025Tuesday, 21 October 2025, 08:24	RC
v0.0.216	Oct 13, 2025Monday, 13 October 2025, 15:01	Stable
v0.0.215	Sep 30, 2025Tuesday, 30 September 2025, 11:14	Stable
v0.0.214	Sep 25, 2025Thursday, 25 September 2025, 08:08	Stable

Previous12 3 4 5 6 7 8 9 10Next