Lean Icon Image

Lean Vsix Version History - Page 4

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 4

  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.16.10 VSIX File (Old Version VSIX File)

    • Updated: August 12, 2020

    • Require: VS Code 1.38.0 and up

    • File Size: 1.39 MB (1459103 Bytes)

    • MD5: 9e665c8a4b7f7561885fae8c4bf272f9

    • SHA1: 72dc109fac7f78a56cc5befc5e4c5b667b89ca92

    • SHA256: fa1c14e7175146319cb0db7cecd063025adde5de5923958c591e07fa28be0757

  3. Lean v0.16.0 VSIX File (Old Version VSIX File)

    • Updated: July 6, 2020

    • Require: VS Code 1.38.0 and up

    • File Size: 1.38 MB (1449959 Bytes)

    • MD5: 63d38390d4fcb917a76d13badae7cff0

    • SHA1: 5c3f83b621404d254e5a0b6c3490c0593c7d6fe2

    • SHA256: ec669020d8158d19868464b603aee231833b2cba4920fb1ed043705dcfaf08b5

  4. Lean v0.15.15 VSIX File (Old Version VSIX File)

    • Updated: May 26, 2020

    • Require: VS Code 1.38.0 and up

    • File Size: 3.67 MB (3850654 Bytes)

    • MD5: d9a9a2fb4bfc66bf5d9bdd53a8cb5f1b

    • SHA1: d694d29297f9a8209b37aff1a8a4a2b350e06d33

    • SHA256: 1c8ccdb634a692dbd5cb02dce19c69c010f5be1923c8fe9766150a0a637d1e87

  5. Lean v0.15.14 VSIX File (Old Version VSIX File)

    • Updated: May 15, 2020

    • Require: VS Code 1.38.0 and up

    • File Size: 2.30 MB (2408995 Bytes)

    • MD5: 4c89cba92a168c75a330d1ebdf26556d

    • SHA1: 9d728f72c7999d46902a641cc8fee359646e08e8

    • SHA256: d3de3e0210c51b59638eebc29c7c63a913152e140356719aa33945aa029850c7

  6. Lean v0.15.13 VSIX File (Old Version VSIX File)

    • Updated: May 14, 2020

    • Require: VS Code 1.38.0 and up

    • File Size: 2.29 MB (2405456 Bytes)

    • MD5: ead0d112998b344213dbc5a44a65c8ee

    • SHA1: 34fe0396fb8dc6f6b46968e83722a0274a48a8e0

    • SHA256: 67bb00253bab1310bb2381e3caa33a30eb7c6d49ee97682738b1004e613b3beb

  7. Lean v0.15.12 VSIX File (Old Version VSIX File)

    • Updated: May 6, 2020

    • Require: VS Code 1.38.0 and up

    • File Size: 2.29 MB (2403504 Bytes)

    • MD5: e4042b15f8d86570b2748a808ae8dd02

    • SHA1: 698151eca93975a3769194e54884720cf1fd69cc

    • SHA256: e2958f68a8be323452612f544c35d59b0ba2f124309add3c88e1ff137b92e647

  8. Lean v0.15.8 VSIX File (Old Version VSIX File)

    • Updated: March 6, 2020

    • Require: VS Code 1.24.0 and up

    • File Size: 1.59 MB (1670984 Bytes)

    • MD5: 8a010034fca190057f733b21f4e21bf3

    • SHA1: cd2ef2cc459b8b84c7b3380769c8cef7804ec4bd

    • SHA256: 4d08fd238d6ed444ab869593ad5488ef3390b40a844c32d6d4b69be555a1122c

  9. Lean v0.15.7 VSIX File (Old Version VSIX File)

    • Updated: March 5, 2020

    • Require: VS Code 1.24.0 and up

    • File Size: 1.59 MB (1670972 Bytes)

    • MD5: 2d00b63ddcab6a23bc0725b0f2a78d96

    • SHA1: a3440da175516e56d0b121bdb7198254064bc7ba

    • SHA256: 66d17770051e8612f25b1bcf04bc5b862f69334d4e79feac8b18dc6108021ef3

  10. Lean v0.15.5 VSIX File (Old Version VSIX File)

    • Updated: February 21, 2020

    • Require: VS Code 1.24.0 and up

    • File Size: 1.59 MB (1669848 Bytes)

    • MD5: 9d8cf3242a9c7b42f1f5253837e8f1eb

    • SHA1: 15ce21eaf66ece65e713dc4b6c583447b4f43500

    • SHA256: 41ca8aefb1fd42f1de88845330272b126256e4651b37ee80dcf519b7c7ee6c30

  11. Lean v0.15.4 VSIX File (Old Version VSIX File)

    • Updated: February 20, 2020

    • Require: VS Code 1.24.0 and up

    • File Size: 1.59 MB (1667761 Bytes)

    • MD5: d15ddce0bb8f311a57669e88a337fe37

    • SHA1: 0001d85ea2fb664a74496a51856650aacd3436c2

    • SHA256: d79f29c65f1962cbc5efeb9b8dbb44ed44f7adaef9191844e2ce8ed81ca1d355

  12. Lean v0.15.0 VSIX File (Old Version VSIX File)

    • Updated: February 17, 2020

    • Require: VS Code 1.24.0 and up

    • File Size: 1.58 MB (1661964 Bytes)

    • MD5: 4bbfaae782230dd031cc1d64994fb5db

    • SHA1: d132601284eb2d33a6d81b5fc1246bbae575a1c4

    • SHA256: 1bd4cbc14a3fefaebada27a0815be2c2a3a69c6267010687364cc76104c2bb1a

  13. Lean v0.14.11 VSIX File (Old Version VSIX File)

    • Updated: February 12, 2020

    • Require: VS Code 1.24.0 and up

    • File Size: 1.58 MB (1661555 Bytes)

    • MD5: 10bef8a2c1f71bc3f451c8085c7d519a

    • SHA1: 21b73f1001d207cfe985627ae347f59826727152

    • SHA256: 49bfa71d7b09b9a19582639afacd69723ed8021088407cbe677471dd8f98d6e1

  14. Lean v0.14.9 VSIX File (Old Version VSIX File)

    • Updated: January 5, 2020

    • Require: VS Code 1.24.0 and up

    • File Size: 1.58 MB (1652091 Bytes)

    • MD5: bdcd9168d10862a67c8461a901e6f083

    • SHA1: a8771d86f8ae6c5b0f72467b653b0decf0495211

    • SHA256: cbaf61b3a1282a5fa71a3afd52ce4f081fa7ad720f6efdd666c118623ac507e7

  15. Lean v0.14.8 VSIX File (Old Version VSIX File)

    • Updated: November 25, 2019

    • Require: VS Code 1.24.0 and up

    • File Size: 1.57 MB (1649946 Bytes)

    • MD5: 3839ab8e909aaa6044f1f428f279b65c

    • SHA1: c3a37cdacf4d5bec4121ab714d2ec6227ccf5c31

    • SHA256: 8c1e998d91a0eb58aef54dcfc1c8467d4fa4417ee866c6c8de0fdd03a6a246fb

More Extension to Consider (Similar or Related)