Standard

Formal Proof-Verification and Mathematical Intuition: the Case of Univalent Foundations. / Родин, Андрей Вячеславович.

2019. Abstract from International congress on logic, methodology and philosophy of science and technology, Prague, Czech Republic.

Research output: Contribution to conference › Abstract › peer-review

Harvard

Родин, АВ 2019, 'Formal Proof-Verification and Mathematical Intuition: the Case of Univalent Foundations', International congress on logic, methodology and philosophy of science and technology, Prague, Czech Republic, 5/08/19 - 10/08/19. <http://clmpst2019.flu.cas.cz/wp-content/uploads/2019/08/BoA_CLMPST2019_web.pdf>

APA

Родин, А. В. (2019). Formal Proof-Verification and Mathematical Intuition: the Case of Univalent Foundations. Abstract from International congress on logic, methodology and philosophy of science and technology, Prague, Czech Republic. http://clmpst2019.flu.cas.cz/wp-content/uploads/2019/08/BoA_CLMPST2019_web.pdf

Vancouver

Родин АВ. Formal Proof-Verification and Mathematical Intuition: the Case of Univalent Foundations. 2019. Abstract from International congress on logic, methodology and philosophy of science and technology, Prague, Czech Republic.

Author

Родин, Андрей Вячеславович. / Formal Proof-Verification and Mathematical Intuition: the Case of Univalent Foundations. Abstract from International congress on logic, methodology and philosophy of science and technology, Prague, Czech Republic.

BibTeX

@conference{4fb3195cb3b3406c855e6bcac69d0a79,
title = "Formal Proof-Verification and Mathematical Intuition: the Case of Univalent Foundations",
author = "Родин, {Андрей Вячеславович}",
year = "2019",
language = "English",
note = "null ; Conference date: 05-08-2019 Through 10-08-2019",
url = "http://clmpst2019.flu.cas.cz/",

}

RIS

TY - CONF

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

AU - Родин, Андрей Вячеславович

N1 - Conference code: 16

PY - 2019

Y1 - 2019

M3 - Abstract

Y2 - 5 August 2019 through 10 August 2019

ER -

ID: 75062237