Quick Tour of Lean Samples on Github Codespaces

Publié le: 08 septembre 2022
sur la chaîne: Chris

782

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.

Sur cette page du site, vous pouvez voir la vidéo en ligne Quick Tour of Lean Samples on Github Codespaces durée heure minute seconde en bonne qualité , qui a été Téléchargé par l'utilisateur Chris 08 septembre 2022, Partagez le lien avec vos amis et connaissances, sur youtube cette vidéo a déjà été regardée 782 fois et il a aimé 8 téléspectateurs. Bon visionnage!

151

00:00:00