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

vscode-lean 0.16.52

gebner released this 02 Jun 16:06

· 23 commits to master since this release

30e43d5

v0.16.52

vscode-lean 0.16.52

Assets 3

Provide feedback