This repository has been archived by the owner on Jun 26, 2024. It is now read-only.

vscode-lean 0.16.36

gebner released this 09 Jun 12:05

· 77 commits to master since this release

v0.16.36

vscode-lean 0.16.36

Assets 3

Provide feedback