Quick Tour of Lean Samples on Github Codespaces
This video shows up to setup and use a Github Codespace environment to program Lean using VS Code in the cloud and shows up to play with the Lean 4 Samples that way.
On this page of the site you can watch the video online Quick Tour of Lean Samples on Github Codespaces with a duration of hours minute second in good quality, which was uploaded by the user Chris 08 September 2022, share the link with friends and acquaintances, this video has already been watched 782 times on youtube and it was liked by 8 viewers. Enjoy your viewing!
