Skip to content

lean-ctx VS Code extension 0.2.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 26 Jun 14:36
· 6133 commits to main since this release
vscode-v0.2.0
79fe3cf

lean-ctx VS Code extension 0.2.0.

Install from the VS Code Marketplace
or Open VSX (Cursor, VSCodium, Windsurf),
or download the .vsix below and run code --install-extension lean-ctx-0.2.0.vsix.

Assets 3
Loading