From: Viktor Kunčak <vkuncak@gmail.com>
I would be also interested in running Isabelle remotely.
For vscode, has anyone tried these extensions?
https://marketplace.visualstudio.com/items?itemName=ms-vscode-remote.vscode-remote-extensionpack
Viktor
================
Last updated: Feb 01 2025 at 20:19 UTC