Zulip Chat Archive
Stream: lean4
Topic: Github Codespaces
Chris Lovett (Sep 08 2022 at 23:48):
To complement the video on Gitpod Lean 4 Samples I made a new video showing how to use Github Codespaces which you can use if you have access to a Github Team or Enterprise account.
Last updated: Dec 20 2023 at 11:08 UTC