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.
En esta página del sitio puede ver el video en línea Quick Tour of Lean Samples on Github Codespaces de Duración hora minuto segunda en buena calidad , que subió el usuario Chris 08 septiembre 2022, comparta el enlace con amigos y conocidos, en youtube este video ya ha sido visto 782 veces y le gustó 8 a los espectadores. Disfruta viendo!
