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

vscode-lean 0.16.32

gebner released this 26 May 11:28

· 96 commits to master since this release

bfa80de

v0.16.32

vscode-lean 0.16.32

Assets 3

Provide feedback