Трек: Leonardo De Moura The Lean Proof Assistant Introduction And Challenges Ipam At Ucla
Слушать
Загрузил: Institute for Pure & Applied Mathematics (IPAM)
Длительность: 48 мин и 48 сек
Размер: 111.7 МБ
Битрейт: 320 Kbpsp
Прослушиваний: 3,164
Сейчас слушают
Смотреть все