leanprover/vscode-lean4

Releases237

Frequency1 week 1 day

Last Release 23 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.213	Sep 23, 2025Tuesday, 23 September 2025, 16:20	Stable
v0.0.212	Sep 15, 2025Monday, 15 September 2025, 09:02	Stable
v0.0.211-pre	Aug 21, 2025Thursday, 21 August 2025, 08:45	RC
v0.0.210-pre	Aug 19, 2025Tuesday, 19 August 2025, 09:27	RC
v0.0.209	Jun 26, 2025Thursday, 26 June 2025, 11:33	Stable
v0.0.208-pre	Jun 11, 2025Wednesday, 11 June 2025, 12:10	RC
v0.0.207	Jun 4, 2025Wednesday, 4 June 2025, 08:20	Stable
v0.0.206	Jun 3, 2025Tuesday, 3 June 2025, 11:50	Stable
v0.0.205	Apr 30, 2025Wednesday, 30 April 2025, 15:58	Stable
v0.0.204	Apr 23, 2025Wednesday, 23 April 2025, 14:42	Stable
v0.0.203	Apr 17, 2025Thursday, 17 April 2025, 12:35	Stable
v0.0.202	Apr 15, 2025Tuesday, 15 April 2025, 08:11	Stable
v0.0.201	Mar 27, 2025Thursday, 27 March 2025, 13:23	Stable
v0.0.200-pre	Mar 26, 2025Wednesday, 26 March 2025, 08:56	RC
v0.0.199-pre	Mar 19, 2025Wednesday, 19 March 2025, 16:42	RC
v0.0.198-pre	Mar 11, 2025Tuesday, 11 March 2025, 10:15	RC
v0.0.197-pre	Mar 8, 2025Saturday, 8 March 2025, 11:30	RC
v0.0.196-pre	Mar 7, 2025Friday, 7 March 2025, 14:49	RC
v0.0.195	Feb 25, 2025Tuesday, 25 February 2025, 15:32	Stable
v0.0.194	Jan 30, 2025Thursday, 30 January 2025, 15:22	Stable
v0.0.193	Jan 30, 2025Thursday, 30 January 2025, 14:59	Stable
v0.0.192	Jan 30, 2025Thursday, 30 January 2025, 13:17	Stable
v0.0.191-pre	Jan 13, 2025Monday, 13 January 2025, 16:36	RC
v0.0.190-pre	Jan 13, 2025Monday, 13 January 2025, 16:30	RC
v0.0.189-pre	Jan 13, 2025Monday, 13 January 2025, 13:40	RC