Formal Proof-Verification and Mathematical Intuition: the Case of Univalent Foundations

Research output: Contribution to conferenceAbstractpeer-review

Original languageEnglish
StatePublished - 2019
EventInternational congress on logic, methodology and philosophy of science and technology - Faculty of Architecture, Czech Technical University in Prague, Prague, Czech Republic
Duration: 5 Aug 201910 Aug 2019
Conference number: 16
http://clmpst2019.flu.cas.cz/

Conference

ConferenceInternational congress on logic, methodology and philosophy of science and technology
Abbreviated titleCLMPST 2019
CountryCzech Republic
CityPrague
Period5/08/1910/08/19
Internet address

Cite this