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.88	Aug 5, 2022Friday, 5 August 2022, 17:13	Stable
v0.0.87	Jul 25, 2022Monday, 25 July 2022, 18:42	Stable
v0.0.86	Jul 25, 2022Monday, 25 July 2022, 15:31	Stable
v0.0.85	Jul 22, 2022Friday, 22 July 2022, 15:14	Stable
v0.0.84	Jul 16, 2022Saturday, 16 July 2022, 19:13	Stable
v0.0.83	Jul 12, 2022Tuesday, 12 July 2022, 21:04	Stable
v0.0.82	Jul 7, 2022Thursday, 7 July 2022, 19:54	Stable
v0.0.81	Jul 7, 2022Thursday, 7 July 2022, 18:34	Stable
v0.0.80	Jul 5, 2022Tuesday, 5 July 2022, 16:36	Stable
v0.0.79	Jun 27, 2022Monday, 27 June 2022, 18:03	Stable
v0.0.78	Jun 12, 2022Sunday, 12 June 2022, 16:47	Stable
v0.0.77	Jun 1, 2022Wednesday, 1 June 2022, 14:52	Stable
v0.0.76	Jun 1, 2022Wednesday, 1 June 2022, 14:02	Stable
v0.0.75	May 26, 2022Thursday, 26 May 2022, 11:17	Stable
v0.0.74	May 20, 2022Friday, 20 May 2022, 11:13	Stable
v0.0.73	May 19, 2022Thursday, 19 May 2022, 10:52	Stable
v0.0.72	May 6, 2022Friday, 6 May 2022, 11:07	Stable
v0.0.71	Apr 20, 2022Wednesday, 20 April 2022, 08:01	Stable
v0.0.70	Mar 24, 2022Thursday, 24 March 2022, 17:07	Stable
v0.0.69	Feb 28, 2022Monday, 28 February 2022, 11:59	Stable
v0.0.68	Feb 15, 2022Tuesday, 15 February 2022, 18:49	Stable
v0.0.67	Feb 14, 2022Monday, 14 February 2022, 09:44	Stable
v0.0.66	Feb 11, 2022Friday, 11 February 2022, 13:17	Stable
v0.0.65	Feb 10, 2022Thursday, 10 February 2022, 18:15	Stable
v0.0.64	Feb 10, 2022Thursday, 10 February 2022, 13:55	Stable