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.188-pre	Jan 13, 2025Monday, 13 January 2025, 13:05	RC
v0.0.187-pre	Jan 8, 2025Wednesday, 8 January 2025, 13:50	RC
v0.0.186	Dec 5, 2024Thursday, 5 December 2024, 17:06	Stable
v0.0.185-pre	Nov 20, 2024Wednesday, 20 November 2024, 15:00	RC
v0.0.184	Oct 28, 2024Monday, 28 October 2024, 10:36	Stable
v0.0.183	Oct 17, 2024Thursday, 17 October 2024, 23:24	Stable
v0.0.182	Oct 17, 2024Thursday, 17 October 2024, 23:19	Stable
v0.0.181	Oct 17, 2024Thursday, 17 October 2024, 17:09	Stable
v0.0.180	Oct 17, 2024Thursday, 17 October 2024, 16:57	Stable
v0.0.179	Oct 14, 2024Monday, 14 October 2024, 10:58	Stable
v0.0.178	Sep 10, 2024Tuesday, 10 September 2024, 07:45	Stable
v0.0.177	Aug 28, 2024Wednesday, 28 August 2024, 12:14	Stable
v0.0.176	Jul 23, 2024Tuesday, 23 July 2024, 07:40	Stable
v0.0.175	Jul 22, 2024Monday, 22 July 2024, 07:56	Stable
v0.0.174	Jul 10, 2024Wednesday, 10 July 2024, 17:04	Stable
v0.0.173	Jul 10, 2024Wednesday, 10 July 2024, 16:13	Stable
v0.0.172	Jul 10, 2024Wednesday, 10 July 2024, 15:55	Stable
v0.0.171	Jul 1, 2024Monday, 1 July 2024, 09:55	Stable
v0.0.170	Jun 27, 2024Thursday, 27 June 2024, 11:27	Stable
v0.0.169	Jun 26, 2024Wednesday, 26 June 2024, 07:53	Stable
v0.0.168	Jun 21, 2024Friday, 21 June 2024, 20:04	Stable
v0.0.167	Jun 21, 2024Friday, 21 June 2024, 14:53	Stable
v0.0.166	Jun 20, 2024Thursday, 20 June 2024, 08:53	Stable
v0.0.165	Jun 20, 2024Thursday, 20 June 2024, 02:13	Stable
v0.0.164	Jun 19, 2024Wednesday, 19 June 2024, 14:09	Stable