Lean Icon Image

Lean Vsix Version History

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

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

    • Updated: January 10, 2023

    • Require: VS Code 1.38.0 and up

    • File Size: 2.86 MB (3001929 Bytes)

    • MD5: 0059542e7344b24d77f90997da70b5cc

    • SHA1: 4d48d9ebf0e8dc4b765eed35de703a8ee96f4c88

    • SHA256: a32bd35db725036e4bcb87caf7c74579ba36dc8f8b3f8cd2daaf12c28b567db0

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

    • Updated: November 2, 2022

    • Require: VS Code 1.38.0 and up

    • File Size: 2.86 MB (3000049 Bytes)

    • MD5: 45bd26fab35122dd9ad102ddfc19dc38

    • SHA1: 8837f30b047b796965073c4b9e7a180e15eb7e3d

    • SHA256: 06500d56246766766a12a39a2eac81f92862e8d8ee992c150ff475f7e7088022

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

    • Updated: September 14, 2022

    • Require: VS Code 1.38.0 and up

    • File Size: 2.89 MB (3030484 Bytes)

    • MD5: d2307a187bc2f4355dab250b67db4d30

    • SHA1: 46eceac38e440665917c55672cc65ff40cda1600

    • SHA256: 3d8b494df895439d638642a78980884f2367190b0fff9410c5d80801360c2e1b

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

    • Updated: August 23, 2022

    • Require: VS Code 1.38.0 and up

    • File Size: 2.82 MB (2957698 Bytes)

    • MD5: 721c7a5acbd7feec035609c091a6b545

    • SHA1: 40ae67a12d64f412502565ec971cd20cab53ec8d

    • SHA256: 8d343dfb051902c3f5e97faca62ecb3ac6985a01dd44d0491793dd706f5f09f5

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

    • Updated: June 25, 2022

    • Require: VS Code 1.38.0 and up

    • File Size: 2.82 MB (2957165 Bytes)

    • MD5: d654c6c38754254b4d3a396db07d2bce

    • SHA1: 715b2f257deb5f0e24b04c780e7e602393fa893e

    • SHA256: b31f973d5b08290a04cb2f63ac27bcc5b7df04e620e8707a2dde38129835839e

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

    • Updated: June 3, 2022

    • Require: VS Code 1.38.0 and up

    • File Size: 2.82 MB (2955765 Bytes)

    • MD5: 87558fdd7766729844f62248f56723c8

    • SHA1: 81d061e5bdec40d821a9faa6eb7aae990d00daf6

    • SHA256: 163de05ad4c9bbdf7e80838c5cc56a6f0e8cbe561f958baea596a81325387e56

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

    • Updated: May 31, 2022

    • Require: VS Code 1.38.0 and up

    • File Size: 2.82 MB (2955793 Bytes)

    • MD5: 388d901c1034196577cba4378ed470b2

    • SHA1: 8a40ea6907ed802f1c825c950d9827133001c70c

    • SHA256: 72318a7a858590707257b16f48c5fd639e37b1d93e313ee6cdba32b3449ab41e

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

    • Updated: May 20, 2022

    • Require: VS Code 1.38.0 and up

    • File Size: 2.82 MB (2955805 Bytes)

    • MD5: 5d6259db038810eda7fb53a6abee35aa

    • SHA1: f42effb3b65930ecb01425b0f8ec43ef4c454c58

    • SHA256: df0945405b6019f2c3ce633ae84f997028bdb2e83db60e2021b0be3d1333561b

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

    • Updated: May 19, 2022

    • Require: VS Code 1.38.0 and up

    • File Size: 2.82 MB (2955796 Bytes)

    • MD5: f4f692d6f97eca3bb4a2c12f0727450a

    • SHA1: 9934e62e4e53871cfe089e075b384ddffc80ddcc

    • SHA256: aab11013ec27a718fc090ccb55b877eed8955fb7fee7495deb4bccc695669db4

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

    • Updated: May 14, 2022

    • Require: VS Code 1.38.0 and up

    • File Size: 2.82 MB (2955381 Bytes)

    • MD5: 5529deaf559500e41034a36e4b5b2f12

    • SHA1: 353b40fb4106bea368140014a6bc25f4a796bd17

    • SHA256: c94d9ec40fe5127dfdd17dc90d78e18f1208d88d573e6e869ae9818b05e5517c

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

    • Updated: February 19, 2022

    • Require: VS Code 1.38.0 and up

    • File Size: 2.82 MB (2955352 Bytes)

    • MD5: a99365132a5e6fe6335255629bc1c4b9

    • SHA1: fb975cee96fd3da6fd92569caa9248690b0dc5b0

    • SHA256: 04c172bb0bbaeb1a73e43e8c5ce511a686ca857094e7dfa5cd1516bb094e8caf

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

    • Updated: January 25, 2022

    • Require: VS Code 1.38.0 and up

    • File Size: 2.82 MB (2955227 Bytes)

    • MD5: eba804172cf6432fb4580a634b4f77b5

    • SHA1: 19c985fbbb560d4f3b787048356e299dba191721

    • SHA256: 6d9277ef892fcd9a63c5305b69d1cb128113ee295186ee1a7ee58dfaa1b44e78

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

    • Updated: January 14, 2022

    • Require: VS Code 1.38.0 and up

    • File Size: 2.82 MB (2955212 Bytes)

    • MD5: 03ac7765a6d28c100a5df82bececdbb7

    • SHA1: bc252b42266e4c2b0b5fc9336329c5e719950b0c

    • SHA256: 8637e5cf924756bd585aae9023d0e974d3d8d6e2fb940b904cc01dc02b4b11f6

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

    • Updated: January 7, 2022

    • Require: VS Code 1.38.0 and up

    • File Size: 2.82 MB (2955198 Bytes)

    • MD5: cbbce20358fee5f3772a4fe95cc861bd

    • SHA1: 208852a5f526d1c3b543654185041e33a8a0a873

    • SHA256: 3426b4e9e26788e22f68ce17a98eee044b48e95873b0303fa2e1db168390e662

More Extension to Consider (Similar or Related)