upcoming talk at the Workshop on Homotopy Type Theory/ Univalent Foundations (5-7 July 2020, Internet), co-located with FSCD2020
June 29, 2020
Computer-Assisted Proofs and Mathematical Understanding: the case of Univalent Foundations
Comments Off on Computer-Assisted Proofs and Mathematical Understanding: the case of Univalent Foundations
Конструктивное знание – 12: формальные доказательства и человеческое понимание
Когда: пятница 3 июля 2020 с 11 до 18 часов (4 доклада с перерывом на обед)
Comments Off on Конструктивное знание – 12: формальные доказательства и человеческое понимание