Lean Vsix Version History - Page 3
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 3
-
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.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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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