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

vscode-lean 0.16.57

gebner released this 10 Jan 01:57

· 5 commits to master since this release

61da55a

v0.16.57

vscode-lean 0.16.57

Assets 3

Provide feedback