Lean Icon Image

Lean Vsix Version History - Page 5

A Free Programming Languages Extension By leanprover

3 Votes, Average: 5 out of 5 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

  1. 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

  2. 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

  3. 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

  4. 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

  5. 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

More Extension to Consider (Similar or Related)