en-de
en-es
en-fr
en-pt
en-sl
en
en-zh
0.25
0.5
0.75
1.25
1.5
1.75
2
The Development of Constructive Mathematics
Published on May 20, 20113803 Views
Related categories
Chapter list
Formalization of constructive mathematics00:00
Formalization of Constructive Mathematics - 200:07
Part I: Constructive homological algebra00:57
Constructive homological algebra03:25
Constructive Finite Free Resolution05:09
Hilbert-Burch Theorem05:47
Part II: Propositions-as-Types09:50
Propositions-as-Types12:07
Equality Proofs as Paths14:19
The Path Space is contractible - 116:14
The Path Space is contractible - 217:50
Voevodsky Stratication19:49
Set theory/type theory - 122:34
Set theory/type theory - 223:42
Voevodsky Univalence Axiom24:20