leanprover/vscode-lean4

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

Log in to subscribe

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.13	Mar 22, 2021Monday, 22 March 2021, 17:04	Stable
	v0.0.12	Mar 11, 2021Thursday, 11 March 2021, 18:48	Stable
	v0.0.11	Mar 11, 2021Thursday, 11 March 2021, 17:53	Stable
	v0.0.10	Mar 11, 2021Thursday, 11 March 2021, 16:22	Stable
	v0.0.9	Mar 11, 2021Thursday, 11 March 2021, 13:20	Stable
	v0.0.8	Mar 10, 2021Wednesday, 10 March 2021, 13:42	Stable
	v0.0.7	Feb 20, 2021Saturday, 20 February 2021, 17:03	Stable
	v0.0.6	Feb 12, 2021Friday, 12 February 2021, 12:05	Stable
	v0.0.5	Feb 2, 2021Tuesday, 2 February 2021, 18:16	Stable
	v0.0.4	Jan 29, 2021Friday, 29 January 2021, 10:32	Stable
	v0.0.3	Jan 27, 2021Wednesday, 27 January 2021, 11:24	Stable
	v0.0.2	Jan 26, 2021Tuesday, 26 January 2021, 09:53	Stable

Previous1 2 3 4 5 6 7 8 910Next