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.163	Jun 18, 2024Tuesday, 18 June 2024, 12:41	Stable
v0.0.162	Jun 18, 2024Tuesday, 18 June 2024, 10:40	Stable
v0.0.161	Jun 18, 2024Tuesday, 18 June 2024, 09:38	Stable
v0.0.160	Jun 13, 2024Thursday, 13 June 2024, 08:46	Stable
v0.0.159	Jun 6, 2024Thursday, 6 June 2024, 08:46	Stable
v0.0.158-pre	Jun 5, 2024Wednesday, 5 June 2024, 14:17	RC
v0.0.157	Jun 5, 2024Wednesday, 5 June 2024, 07:47	Stable
v0.0.156	Jun 4, 2024Tuesday, 4 June 2024, 12:59	Stable
v0.0.155	May 27, 2024Monday, 27 May 2024, 11:23	Stable
v0.0.154-pre	May 24, 2024Friday, 24 May 2024, 17:26	RC
v0.0.153-pre	May 24, 2024Friday, 24 May 2024, 15:22	RC
v0.0.152-pre	May 23, 2024Thursday, 23 May 2024, 16:47	RC
v0.0.151-pre	May 23, 2024Thursday, 23 May 2024, 09:11	RC
v0.0.150-pre	May 16, 2024Thursday, 16 May 2024, 16:11	RC
v0.0.149-pre	May 16, 2024Thursday, 16 May 2024, 16:04	RC
v0.0.148-pre	May 16, 2024Thursday, 16 May 2024, 10:06	RC
v0.0.147-pre	May 16, 2024Thursday, 16 May 2024, 08:49	RC
v0.0.146-pre	May 14, 2024Tuesday, 14 May 2024, 14:40	RC
v0.0.145-pre	May 8, 2024Wednesday, 8 May 2024, 08:29	RC
v0.0.144	May 6, 2024Monday, 6 May 2024, 08:47	Stable
v0.0.143-pre	Apr 26, 2024Friday, 26 April 2024, 16:46	RC
v0.0.142-pre	Apr 19, 2024Friday, 19 April 2024, 11:21	RC
v0.0.141-pre	Apr 19, 2024Friday, 19 April 2024, 09:16	RC
v0.0.140	Apr 19, 2024Friday, 19 April 2024, 08:24	Stable
v0.0.139	Apr 19, 2024Friday, 19 April 2024, 08:12	Stable