Homotopy Type Theory
Latest Revisions
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
Kristina Sojakova > history
(
Kristina Sojakova > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:39:04
Kuen-Bang Hou (Favonia) > history
(
Kuen-Bang Hou (Favonia) > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:38:34
Luis Scoccola > history
(
Luis Scoccola > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:36:52
Martín Escardó > history
(
Martín Escardó > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:36:04
Matthieu Sozeau > history
(
Matthieu Sozeau > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:35:25
Michael Shulman > history
(
Michael Shulman > history(rev # 5)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:34:48
Michael Warren > history
(
Michael Warren > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:34:07
Morgan Opie > history
(
Morgan Opie > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:33:39
Nicola Gambino > history
(
Nicola Gambino > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:33:04
Nicolai Kraus > history
(
Nicolai Kraus > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:32:38
Paige North > history
(
Paige North > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:31:59
Paolo Capriotti > history
(
Paolo Capriotti > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:31:27
Per Martin-Löf > history
(
Per Martin-Löf > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:30:40
Ed Morehouse > history
(
Ed Morehouse > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:26:33
Dimitris Tsementzis > history
(
Dimitris Tsementzis > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:25:31
Denis-Charles Cisinski > history
(
Denis-Charles Cisinski > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:25:10
David Roberts > history
(
David Roberts > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:24:46
Daniel Christensen > history
(
Daniel Christensen > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:24:15
Dan Licata > history
(
Dan Licata > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:23:42
Dan Grayson > history
(
Dan Grayson > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:23:18
Chris Kapulkin > history
(
Chris Kapulkin > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:22:38
Cesare Gallozzi > history
(
Cesare Gallozzi > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:22:06
Carlo Angiuli > history
(
Carlo Angiuli > history(rev # 5)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:19:25
Benno van den Berg > history
(
Benno van den Berg > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:18:46
Benedikt Ahrens > history
(
Benedikt Ahrens > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:18:15
Bas Spitters > history
(
Bas Spitters > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:17:45
Anthony Bordg > history
(
Anthony Bordg > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:17:09
Andrew M. Pitts > history
(
Andrew M. Pitts > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:16:40
Andrej Bauer > history
(
Andrej Bauer > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:16:11
Andrea Vezzosi > history
(
Andrea Vezzosi > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:15:41
Anders Mörtberg > history
(
Anders Mörtberg > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:14:35
Ali Caglayan > history
(
Ali Caglayan > history(rev # 6)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:13:59
Peter Arndt > history
(
Peter Arndt > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:12:04
Peter LeFanu Lumsdaine > history
(
Peter LeFanu Lumsdaine > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:11:37
Pieter Hofstra > history
(
Pieter Hofstra > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:11:12
Richard Garner > history
(
Richard Garner > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:10:33
Robert Harper > history
(
Robert Harper > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:10:03
Simon Huber > history
(
Simon Huber > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:09:13
Steve Awodey > history
(
Steve Awodey > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:08:32
Stuart Presnell > history
(
Stuart Presnell > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:07:59
Thierry Coquand > history
(
Thierry Coquand > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:07:13
Taichi Uemura > history
(
Taichi Uemura > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:06:41
Thorsten Altenkirch > history
(
Thorsten Altenkirch > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:05:56
Toby Bartels > history
(
Toby Bartels > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:05:21
Ulrik Buchholtz > history
(
Ulrik Buchholtz > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:04:40
Urs Schreiber > history
(
Urs Schreiber > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:04:02
Vladimir Voevodsky > history
(
Vladimir Voevodsky > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:03:34
Álvaro Pelayo > history
(
Álvaro Pelayo > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:03:09
shape > history
(
shape > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:01:15
Algebra > history
(
Algebra > history(rev # 21)
|
history
)
by
Anonymous
?
at June 15, 2022 at 01:44:50
function algebra > history
(
function algebra > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 01:44:36
Algebra > history
(
Algebra > history(rev # 20)
|
history
)
by
Anonymous
?
at June 14, 2022 at 21:20:14
module > history
(
module > history(rev # 7)
|
history
)
by
Anonymous
?
at June 14, 2022 at 21:20:03
graded module > history
(
graded module > history(rev # 2)
|
history
)
by
Anonymous
?
at June 14, 2022 at 21:18:41
geometric algebra > history
(
geometric algebra > history(rev # 6)
|
history
)
by
Anonymous
?
at June 14, 2022 at 21:17:15
filtered algebra > history
(
filtered algebra > history(rev # 2)
|
history
)
by
Anonymous
?
at June 14, 2022 at 21:16:13
quadratic form > history
(
quadratic form > history(rev # 5)
|
history
)
by
Anonymous
?
at June 14, 2022 at 21:02:22
bilinear function > history
(
bilinear function > history(rev # 4)
|
history
)
by
Anonymous
?
at June 14, 2022 at 21:02:00
Clifford algebra > history
(
Clifford algebra > history(rev # 4)
|
history
)
by
Anonymous
?
at June 14, 2022 at 21:01:07
compact connected space > history
(
compact connected space > history(rev # 3)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:58:46
geometrically contractible space > history
(
geometrically contractible space > history(rev # 3)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:58:30
Analysis > history
(
Analysis > history(rev # 38)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:40:10
real numbers > history
(
real numbers > history(rev # 18)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:39:54
computable real numbers > history
(
computable real numbers > history(rev # 2)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:38:54
apartness relation > history
(
apartness relation > history(rev # 2)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:31:14
Algebra > history
(
Algebra > history(rev # 19)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:29:48
open interval > history
(
open interval > history(rev # 4)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:28:44
strict order > history
(
strict order > history(rev # 7)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:27:46
dense strict order > history
(
dense strict order > history(rev # 8)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:27:16
dense relation > history
(
dense relation > history(rev # 4)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:26:17
extended Dedekind cut > history
(
extended Dedekind cut > history(rev # 3)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:25:02
Dedekind real unit interval > history
(
Dedekind real unit interval > history(rev # 3)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:22:55
Dedekind real numbers > history
(
Dedekind real numbers > history(rev # 11)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:21:57
Topology > history
(
Topology > history(rev # 17)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:20:20
unit interval > history
(
unit interval > history(rev # 3)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:19:30
strongly extensional function > history
(
strongly extensional function > history(rev # 2)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:18:21
lower bounded open interval > history
(
lower bounded open interval > history(rev # 2)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:16:35
upper bounded open interval > history
(
upper bounded open interval > history(rev # 2)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:15:43
closed interval > history
(
closed interval > history(rev # 5)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:14:54
real vector space > history
(
real vector space > history(rev # 8)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:13:11
real Clifford algebra > history
(
real Clifford algebra > history(rev # 5)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:09:03
real geometric algebra > history
(
real geometric algebra > history(rev # 5)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:06:39
quadratic form > history
(
quadratic form > history(rev # 4)
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:03:22
Topology > history
(
Topology > history(rev # 16)
|
history
)
by
Anonymous
?
at June 14, 2022 at 19:14:33
compact connected space > history
(
compact connected space > history(rev # 2)
|
history
)
by
Anonymous
?
at June 14, 2022 at 18:18:51
geometrically contractible space > history
(
geometrically contractible space > history(rev # 2)
|
history
)
by
Anonymous
?
at June 14, 2022 at 18:18:12
Topology > history
(
Topology > history(rev # 15)
|
history
)
by
Anonymous
?
at June 14, 2022 at 18:01:20
continuous mapping > history
(
continuous mapping > history(rev # 4)
|
history
)
by
Anonymous
?
at June 14, 2022 at 18:01:06
homotopy type > history
(
homotopy type > history(rev # 5)
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:51:22
identity system > history
(
identity system > history(rev # 4)
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:50:18
homotopy type theory > history
(
homotopy type theory > history(rev # 7)
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:49:33
Martin-Loef type theory > history
(
Martin-Loef type theory > history(rev # 5)
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:48:42
univalent Martin-Loef type theory > history
(
univalent Martin-Loef type theory > history(rev # 4)
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:47:27
identity type > history
(
identity type > history(rev # 13)
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:45:45
axiom R-flat > history
(
axiom R-flat > history(rev # 4)
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:38:50
Algebra > history
(
Algebra > history(rev # 18)
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:37:38
analytic Markov's principle > history
(
analytic Markov's principle > history(rev # 2)
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:36:52
intermediate value theorem > history
(
intermediate value theorem > history(rev # 3)
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:34:42
contractibility of Dedekind real numbers > history
(
contractibility of Dedekind real numbers > history(rev # 3)
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:33:35
Algebra > history
(
Algebra > history(rev # 17)
|
history
)
by
Anonymous
?
at June 14, 2022 at 16:37:12
« Previous
1
2
3
4
5
6
7
8
9
10
Next »