Lean Vsix Version History - Page 5
A Free Programming Languages Extension By leanprover
Downloads: 14 Updated: February 14, 2023
VsixHub collected total 61 versions for Lean VSIX (jroesch.lean). You could download one of the legacy or old version of it.
Lean Extension for VSCode Version History - Page 5
-
Lean v0.16.58 VSIX File (Latest Version VSIX File)
• Updated: February 14, 2023
• Require: VS Code 1.38.0 and up
• File Size: 2.86 MB (3002200 Bytes)
• MD5: 15e4118690ef1dad70395c1358069a05
• SHA1: 6f4dc277dec0146641d359ac9e0251840bb3be1e
• SHA256: 7b9f82e9d01ca5eb78c4e8a27e64c9d6f9b6a4dadc3e1c7f9a397bd22979346d
-
Lean v0.14.6 VSIX File (Old Version VSIX File)
• Updated: November 11, 2019
• Require: VS Code 1.24.0 and up
• File Size: 1.57 MB (1649670 Bytes)
• MD5: 0dcfeb1a197adbf7f87e86ccc75199da
• SHA1: 3ed9b21bc286a59e952fb5dd50c5fefbe143b13d
• SHA256: 49c6da261c577785ac15d1dd4cbbe0c7ad8ae46bd6a872341388fa25a8844378
-
Lean v0.14.5 VSIX File (Old Version VSIX File)
• Updated: October 14, 2019
• Require: VS Code 1.24.0 and up
• File Size: 1.57 MB (1651350 Bytes)
• MD5: aa580a36de2deec0d91363559602d5f0
• SHA1: d364174a9d7fdd8ac522163dedb06220ae49db37
• SHA256: 2719a540955f0794bbe273a54f2d493e04d744d9ce2233a8515bee5e4a5a72c7
-
Lean v0.14.4 VSIX File (Old Version VSIX File)
• Updated: October 1, 2019
• Require: VS Code 1.24.0 and up
• File Size: 1.57 MB (1651334 Bytes)
• MD5: bf12c1ab642bd88c25c21a5a48d64d2b
• SHA1: 2c07643f4d070917c91c0066698f5024c0c8fd72
• SHA256: 5d3d6d1cce4d86d490b26ccb74e7b0d86af1b022a3c3a6214f49e748c522dadc
-
Lean v0.14.3 VSIX File (Old Version VSIX File)
• Updated: July 15, 2019
• Require: VS Code 1.24.0 and up
• File Size: 1.57 MB (1649724 Bytes)
• MD5: 7f1858e77d09a7739f8b3e1488830770
• SHA1: b752f071f2c4bc32179d60fefe8b01b2c897ca70
• SHA256: 7f48a60b9a74b7551d61e03c00958d3ed70cb64552fbe95fee7c1b71d9bf9740