Lean Icon Image

Lean Vsix Version History - Page 2

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 2

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

    • Updated: January 3, 2022

    • Require: VS Code 1.38.0 and up

    • File Size: 2.82 MB (2955148 Bytes)

    • MD5: d78681240b5c58315a5b4f406c012b05

    • SHA1: 8f4f6b4337036a60385d0fc9e3dac83e50b30537

    • SHA256: 0f925f94c2a1f12cd1fd559f9169001d5e8e98e3eb029af7b47532c1f6b1a39c

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

    • Updated: December 4, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.82 MB (2954982 Bytes)

    • MD5: 33ab9dc97ea8ed8a45b99c93fe57aa4e

    • SHA1: d7260bc92169305b5aaaafaa48c1aaaecbce9be4

    • SHA256: f5f6de4880522dc09015e91e1ae19a627baddde166da8415a8903863461fcb9a

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

    • Updated: November 26, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.82 MB (2954965 Bytes)

    • MD5: 6647656d9fcbb0dc4f732b192302e80a

    • SHA1: 14312842562e828808a6c68b72ae98c18f3b188e

    • SHA256: db03c45fd3b7543ffda41fa9f496f78a285017b0623c4c49ae365f59ce69e2f0

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

    • Updated: July 10, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.82 MB (2954939 Bytes)

    • MD5: f031dbaf011dfc8193335f6535b145c2

    • SHA1: 416f2b0ea4ca8f2c2f5f9060d7150227646e6fec

    • SHA256: b36edb609bed4532ced5d8094d8207c71aac0c7560109a1d35f87cd16b063c6c

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

    • Updated: June 29, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.82 MB (2954927 Bytes)

    • MD5: 52e20b87de8828a11d5c8d31003e2743

    • SHA1: 155f63c762a6d98a3a1f35b589f40c6dc443ea84

    • SHA256: 1dbb87f8aeb34feb46cb622388b321a91594b9d3936ed6c0ac8f16411ec32c98

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

    • Updated: June 26, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.82 MB (2955692 Bytes)

    • MD5: d1ee128b8f132b6e687dfed47cca2cd1

    • SHA1: 4c046efe9a3a417f19474e542d3ef3d216c9bae4

    • SHA256: 6683685e3845faeb42a441737b8ee2de640dd734370731100612d57dbf8005fd

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

    • Updated: June 9, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.82 MB (2955623 Bytes)

    • MD5: 630a056a1b53604b6f147499208a8bf3

    • SHA1: a9dc4c977e9928f488cba274c82ad32758fb3698

    • SHA256: 4966ea557be6ebf723157fa7f80fafd203b1719d9174857fbd691e3505825fc6

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

    • Updated: June 7, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.82 MB (2955585 Bytes)

    • MD5: 91c9b133c4b8ea9173c5f400271bb360

    • SHA1: 60562ccead032c147901b80925a5fc0c179ee19f

    • SHA256: 6ee9a713d1908cc0570ccbde117754c4facf228e075189685b92717b2de6638f

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

    • Updated: June 1, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.88 MB (3018549 Bytes)

    • MD5: 83a9045636bbdfa7e5e33f770770c150

    • SHA1: 36ba27ac5b61940164d41e771b61dafd595c8e8f

    • SHA256: 040034634cc3684612b3a6e482e0713c84ee03a4930eb71f9a40be2b387368dd

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

    • Updated: May 26, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.81 MB (2949320 Bytes)

    • MD5: 7e1c67e50ff20ede9d408cb7a4b2f811

    • SHA1: fc075264c48aee1ad91f3983b1bc399314a5f83b

    • SHA256: 4227757468a5376afc4adb5b98a0d0e17ab0242b0f592ed5478d68daba6677b6

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

    • Updated: May 25, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.81 MB (2949062 Bytes)

    • MD5: ac79baf699f6ef5b633ed34edcc18f5a

    • SHA1: 0ba6f92b49250ef074aa48b4a0c688b156c827f6

    • SHA256: 24113c5c182623d31a89ffc5ac8c6971f4da6a0f0dc7996cf499312a26f0c0e9

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

    • Updated: May 21, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.81 MB (2948237 Bytes)

    • MD5: edeefb87c1df6e026107397c9d3e9117

    • SHA1: a5c7f584b76cb7f6c4631a6d20ea5485a9d99f0b

    • SHA256: 096bc12b76a0691d3873206a9d5ec921b456037d6f7f4fbe1e89db1677cf8e91

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

    • Updated: May 13, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.81 MB (2948230 Bytes)

    • MD5: a57dfc7b90b057a96600a681edf99964

    • SHA1: 148f94811e3776fd1dec1cd6642353893b60433f

    • SHA256: e5c356a2b0ac0011366cd5d88beffb4996172d0296ac00b567edf88af4d5fccc

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

    • Updated: May 10, 2021

    • Require: VS Code 1.38.0 and up

    • File Size: 2.81 MB (2948155 Bytes)

    • MD5: cd09b83e63e97aa06721ea058684a71e

    • SHA1: 93f7ffbe986ce402a9a9ffba35bb18889229644f

    • SHA256: 92818d070cd98be30b9ae674f5aed8a30bfbc2137653379386463bf7a9e96bf1

More Extension to Consider (Similar or Related)