This repository has been archived by the owner on Jun 26, 2024. It is now read-only.
This release is identical to 0.16.58. It just updates the README on the VS Code marketplace to reflect that this extension is for Lean 3.
Since I couldn't get this extension to build anymore in order to release it regularly, this release was created by patching the 0.16.58 .vsix
with the new version and the new README.md
.