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.
Auf dieser Seite können Sie das Online-Video Quick Tour of Lean Samples on Github Codespaces mit der Dauer stunde minuten sekunde in guter Qualität ansehen, das der Benutzer Chris 08 September 2022 hochgeladen hat, den Link mit Freunden und Bekannten teilen, dieses Video wurde auf Youtube bereits 782 Mal angesehen und es wurde von 8 den Zuschauern gefallen. Viel Spaß beim Betrachtenden Zuschauern gefallen!
