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.113	Oct 17, 2023Tuesday, 17 October 2023, 14:15	Stable
v0.0.112	Oct 13, 2023Friday, 13 October 2023, 12:11	Stable
v0.0.111	Sep 8, 2023Friday, 8 September 2023, 13:02	Stable
v0.0.110	Aug 9, 2023Wednesday, 9 August 2023, 19:20	Stable
v0.0.109	Aug 9, 2023Wednesday, 9 August 2023, 03:47	Stable
v0.0.108	Aug 1, 2023Tuesday, 1 August 2023, 23:23	Stable
v0.0.107	Aug 1, 2023Tuesday, 1 August 2023, 23:18	Stable
v0.0.106	Aug 1, 2023Tuesday, 1 August 2023, 23:13	Stable
v0.0.105	Aug 1, 2023Tuesday, 1 August 2023, 23:10	Stable
v0.0.104	Jun 28, 2023Wednesday, 28 June 2023, 17:28	Stable
v0.0.103	May 31, 2023Wednesday, 31 May 2023, 23:47	Stable
v0.0.102	Apr 7, 2023Friday, 7 April 2023, 02:43	Stable
v0.0.101	Feb 14, 2023Tuesday, 14 February 2023, 01:06	Stable
v0.0.100	Jan 15, 2023Sunday, 15 January 2023, 01:41	Stable
v0.0.99	Nov 23, 2022Wednesday, 23 November 2022, 18:24	Stable
v0.0.98	Nov 17, 2022Thursday, 17 November 2022, 04:49	Stable
v0.0.97	Nov 2, 2022Wednesday, 2 November 2022, 04:22	Stable
v0.0.96	Oct 31, 2022Monday, 31 October 2022, 18:01	Stable
v0.0.95	Aug 30, 2022Tuesday, 30 August 2022, 12:58	Stable
v0.0.94	Aug 25, 2022Thursday, 25 August 2022, 07:21	Stable
v0.0.93	Aug 22, 2022Monday, 22 August 2022, 17:59	Stable
v0.0.92	Aug 15, 2022Monday, 15 August 2022, 15:57	Stable
v0.0.91	Aug 10, 2022Wednesday, 10 August 2022, 08:39	Stable
v0.0.90	Aug 10, 2022Wednesday, 10 August 2022, 08:29	Stable
v0.0.89	Aug 6, 2022Saturday, 6 August 2022, 13:07	Stable