Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Private Cloud Isabelle


view this post on Zulip Email Gateway (Aug 23 2022 at 08:46):

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: Mar 28 2024 at 20:16 UTC