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

vscode-lean 0.16.38

gebner released this 29 Jun 15:03

· 71 commits to master since this release

9142500

v0.16.38

vscode-lean 0.16.38

Assets 3

Provide feedback