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.
Nesta página do site você pode assistir ao vídeo on-line Quick Tour of Lean Samples on Github Codespaces duração hora minuto segundo em boa qualidade , que foi baixado pelo usuário Chris 08 Setembro 2022, compartilhe o link com seus amigos e conhecidos, no youtube este vídeo já foi visto 782 vezes e gostou 8 espectadores. Boa visualização!
