У нас вы можете посмотреть бесплатно Lean: Lorentz Algebra Proof или скачать в максимальном доступном качестве, которое было загружено на ютуб. Для скачивания выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса savevideohd.ru
A unscripted work through of a proof of a physics-related theorem in Lean. You can follow along using this link: https://live.lean-lang.org/#code=impo...