Kitty Yan, et al: Getting Started: Proving with the Lean Interactive Theorem Prover (Part 1)

Игра Марио

Просмотров: 211 | Время: 01:12:07 | Голосов: +1 +1 | Скачать

Скачать клип Kitty Yan, et al: Getting Started: Proving with the Lean Interactive Theorem Prover (Part 1)