Quick Tour of Lean Samples on Github Codespaces

Опубликовано: 08 Сентябрь 2022
на канале: 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.

На этой странице сайта вы можете посмотреть видео онлайн Quick Tour of Lean Samples on Github Codespaces длительностью часов минут секунд в хорошем качестве, которое загрузил пользователь Chris 08 Сентябрь 2022, поделитесь ссылкой с друзьями и знакомыми, на youtube это видео уже посмотрели 782 раз и оно понравилось 8 зрителям. Приятного просмотра!

151

00:00:00