Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender

Скачать Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender бесплатно в качестве 4к (2к / 1080p)

У нас вы можете скачать бесплатно Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender или посмотреть видео с ютуба в максимальном доступном качестве.

Для скачивания выберите вариант из формы ниже:

Cкачать музыку Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender бесплатно в формате MP3:

Если иконки загрузки не отобразились, ПОЖАЛУЙСТА, НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если у вас возникли трудности с загрузкой, пожалуйста, свяжитесь с нами по контактам, указанным в нижней части страницы.
Спасибо за использование сервиса video2dn.com

Описание к видео Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender

Can we make formal mathematics more fun to watch?

Links
proof animation & chess in Lean: https://github.com/dwrensha/animate-l...
Natural Number Game: https://adam.math.hhu.de/#/g/leanprov...
maze game: https://github.com/dwrensha/lean4-maze
Compfiles: https://dwrensha.github.io/compfiles/
Mathlib: https://github.com/leanprover-communi...

Chapters
00:00 - intro
01:09 - the plan
01:23 - the basics
02:12 - LSP and Infotree
03:09 - making it concrete
04:36 - animation: tutorial example
05:07 - animation: mul_pow
05:38 - animation: add_sq
06:14 - animation: gcd_eq_of_dvd_sub_right
06:47 - animation: chess
07:10 - animation: maze
07:28 - animation: IMO 2011 P3