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.
In questa pagina del sito puoi guardare il video online Quick Tour of Lean Samples on Github Codespaces della durata di ore minuti seconda in buona qualità , che l'utente ha caricato Chris 08 settembre 2022, condividi il link con amici e conoscenti, su youtube questo video è già stato visto 782 volte e gli è piaciuto 8 spettatori. Buona visione!
