search

leanprover / vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant
Apache License 2.0
158 stars 48 forks source link

feat: [lean4web] abstract lean client setup for websocket clients #496

Open abentkamp opened 2 months ago

abentkamp commented 2 months ago

This is a pure refactoring. The behavior of the code has not changed.

This allows us to replace local lean clients by websocket lean clients.

joneugster commented 1 month ago

To avoid merge conflicts, this PR includes the changes in #497