This repository has been archived by the owner on Feb 13, 2025. It is now read-only.

vscode-lean 0.16.51

gebner released this 30 May 17:41

· 25 commits to master since this release

6cf4def

v0.16.51

vscode-lean 0.16.51

Assets 3

Provide feedback