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.63	Feb 2, 2022Wednesday, 2 February 2022, 16:35	Stable
v0.0.62	Feb 2, 2022Wednesday, 2 February 2022, 15:07	Stable
v0.0.61	Jan 31, 2022Monday, 31 January 2022, 19:58	Stable
v0.0.60	Jan 31, 2022Monday, 31 January 2022, 17:07	Stable
v0.0.59	Jan 31, 2022Monday, 31 January 2022, 09:12	Stable
v0.0.58	Jan 27, 2022Thursday, 27 January 2022, 10:38	Stable
v0.0.57	Jan 24, 2022Monday, 24 January 2022, 12:48	Stable
v0.0.56	Jan 14, 2022Friday, 14 January 2022, 14:09	Stable
v0.0.55	Jan 12, 2022Wednesday, 12 January 2022, 19:12	Stable
v0.0.54	Jan 9, 2022Sunday, 9 January 2022, 11:30	Stable
v0.0.53	Jan 3, 2022Monday, 3 January 2022, 16:04	Stable
v0.0.52	Jan 3, 2022Monday, 3 January 2022, 16:00	Stable
v0.0.51	Dec 27, 2021Monday, 27 December 2021, 18:34	Stable
v0.0.50	Dec 13, 2021Monday, 13 December 2021, 11:17	Stable
v0.0.49	Dec 3, 2021Friday, 3 December 2021, 16:01	Stable
v0.0.48	Nov 26, 2021Friday, 26 November 2021, 10:30	Stable
v0.0.47	Nov 17, 2021Wednesday, 17 November 2021, 11:25	Stable
v0.0.46	Nov 8, 2021Monday, 8 November 2021, 17:35	Stable
v0.0.45	Nov 5, 2021Friday, 5 November 2021, 09:22	Stable
v0.0.44	Nov 3, 2021Wednesday, 3 November 2021, 09:39	Stable
v0.0.43	Nov 2, 2021Tuesday, 2 November 2021, 09:29	Stable
v0.0.42	Nov 1, 2021Monday, 1 November 2021, 11:10	Stable
v0.0.41	Oct 26, 2021Tuesday, 26 October 2021, 09:30	Stable
v0.0.40	Oct 21, 2021Thursday, 21 October 2021, 07:37	Stable
v0.0.39	Oct 20, 2021Wednesday, 20 October 2021, 17:59	Stable