Lean Icon Image

Lean Vsix Version History - Page 3

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 3

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

    • Updated: April 8, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.81 MB (2949195 Bytes)

    • MD5: d80e369d769d7977c6a5b05d9943f46f

    • SHA1: 8f6377c5e30eee400e1c9dd03fee048ff02cf1ac

    • SHA256: 41cbdfcbc48afff128b1dfb7ff5d580b832d35a06c971541679b0c60fafaf676

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

    • Updated: March 9, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.81 MB (2949980 Bytes)

    • MD5: 8c355061fa260fd0238034ddbef6f640

    • SHA1: 046f0c344d0c99627e3b616af997fd2526545542

    • SHA256: a761bc1f1c4d0926e33f0c337606bdf058de5250ca1dd99ac8982dbd3d26dd63

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

    • Updated: February 12, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.81 MB (2949433 Bytes)

    • MD5: 9f5eb7f6d67afb349d5825783585c0e1

    • SHA1: fb2f037e80818ca597d1c6d41f3e56038cb112d7

    • SHA256: ccf0e67f81461fe678eace4eb007bb2f7b12f16d96e9aa57fb6c36aa418405de

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

    • Updated: February 3, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.81 MB (2949437 Bytes)

    • MD5: bf4f024f24f35da51e1517775a61c156

    • SHA1: 2be98c816ccec2db3c2a30544888cb139544c0fc

    • SHA256: 59f58fe9affdfb3713a933b791a9804984a9e12ca5ebd91026eb4c74be38b727

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

    • Updated: January 20, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.81 MB (2949405 Bytes)

    • MD5: 813b3da2e9652a2d346bba7fb10a1712

    • SHA1: 4fcf392408db3964813806cf5a9fc1bb2397420c

    • SHA256: 3ccfaad9528c1841483b7c234b18e4b753b5c3efc44e972820da14de0c3cd221

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

    • Updated: January 19, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.81 MB (2949405 Bytes)

    • MD5: d2fca9546f3ca537ee4a519490193f64

    • SHA1: f380fe5908288abbb11449c245fb24a358c93026

    • SHA256: 51b6b2427dbbada4340f46cb6147c76b95b152ffe927915a94d677f1e4c08765

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

    • Updated: January 5, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.50 MB (2616269 Bytes)

    • MD5: 299e6bd4f0991c658d2f16e456f392d9

    • SHA1: f314552f2701c54c485721f3838bb0d7d460f8e3

    • SHA256: 82a3b2d5dd6ed4384ed226e105a8958fe2bd0ec81af9bd7dfbff24a094094dbd

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

    • Updated: January 2, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.49 MB (2615907 Bytes)

    • MD5: 96ca694d0bf98897ef3ef51dbd6c96ff

    • SHA1: 0bf4fefcccfd254d86a0be10882ec24b3fb0eca8

    • SHA256: f79dd373a79e89b60bfa61e62645c77084fbbfdcdbb303f009b431d3ae8508e5

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

    • Updated: December 4, 2020

    • Require: VS Code 1.38.0 and up

    • File Size: 2.56 MB (2689359 Bytes)

    • MD5: dd32e1a2a08b85e1522f8c3368f8c099

    • SHA1: 19c9448e288ef167fc83369104142ffb1c67c885

    • SHA256: d3b415fe9f42c9418d7f4ac9a168a4401696a4bea796a5141398daf98219bb57

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

    • Updated: November 6, 2020

    • Require: VS Code 1.38.0 and up

    • File Size: 2.56 MB (2689328 Bytes)

    • MD5: 7ff42d5e1944903dc62884554d3f18d4

    • SHA1: 1b151be514737d566d3b5496fefe8ba28f498f4a

    • SHA256: 02449735b40e9b7d546d1d878de178b34978230c31ef81b02308ff0abd476019

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

    • Updated: October 28, 2020

    • Require: VS Code 1.38.0 and up

    • File Size: 2.56 MB (2688714 Bytes)

    • MD5: 9e791049628dcfdc7347c93f72ca6d4c

    • SHA1: 1b9cc40bdbe362c082fd2a6991d8ef689f8e47a7

    • SHA256: b20a21e2915fba34312c3b143b18765ac2977ddaf3e28009826e4cece6c592c1

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

    • Updated: October 15, 2020

    • Require: VS Code 1.38.0 and up

    • File Size: 2.56 MB (2688655 Bytes)

    • MD5: af10dbac6fa85a9366b5fc64e10f28f3

    • SHA1: 8a3a1bfd3a745b4548fdaee3017232062963ecc3

    • SHA256: a28b8fee685c23608f41e93ca40a50c9efb822172d007fb7138ac68880b2be38

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

    • Updated: August 28, 2020

    • Require: VS Code 1.38.0 and up

    • File Size: 2.56 MB (2688644 Bytes)

    • MD5: d6fea6d7ed778ba2e37ac6e1cada2e14

    • SHA1: 88759fe9083385d356b7beb906dc95ea7a64820e

    • SHA256: deb26dad405a5cfc4b10bda3e0eea93d5663f5f57bc37c58a6f20822219b6138

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

    • Updated: August 24, 2020

    • Require: VS Code 1.38.0 and up

    • File Size: 1.39 MB (1459104 Bytes)

    • MD5: fe5bebaac22eab8d3ea3887501158ba9

    • SHA1: 797aa7dbc96d9f2c0d642cb24f9fa267f33f872d

    • SHA256: b1b774f458439807e859fbb869d74af86fac4b2319e2170d8ed82275352188a5

More Extension to Consider (Similar or Related)