Wiki: johoelzl/vscode-lean

Welcome to the vscode-lean wiki!

Wikis provide a place in your repository to lay out the roadmap of your project, show the current status, and document software better, together.