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

Refactor so that all vscode-specific infoview stuff is in `vscode_info_server.ts` #204

Draft

EdAyers wants to merge 9 commits into leanprover:master from EdAyers:refactor

Provide feedback