Homotopy Type Theory
Latest Revisions
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
Analysis > history
(
Analysis > history(rev # 39)
|
history
)
by
Anonymous
?
at June 15, 2022 at 17:10:51
sequentially Hausdorff space > history
(
sequentially Hausdorff space > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 17:10:40
sequential convergence space > history
(
sequential convergence space > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 17:09:24
monic function > history
(
monic function > history(rev # 8)
|
history
)
by
Anonymous
?
at June 15, 2022 at 16:57:48
directed graph > history
(
directed graph > history(rev # 5)
|
history
)
by
Anonymous
?
at June 15, 2022 at 16:56:06
apartness relation > history
(
apartness relation > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 16:55:51
relation > history
(
relation > history(rev # 6)
|
history
)
by
Anonymous
?
at June 15, 2022 at 16:54:15
functional relation > history
(
functional relation > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 16:54:02
entire relation > history
(
entire relation > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 16:52:01
Algebra > history
(
Algebra > history(rev # 23)
|
history
)
by
Anonymous
?
at June 15, 2022 at 16:46:43
partial function > history
(
partial function > history(rev # 7)
|
history
)
by
Anonymous
?
at June 15, 2022 at 16:45:40
multivalued function > history
(
multivalued function > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 16:44:15
effective epic function > history
(
effective epic function > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 16:42:33
Discrete mathematics > history
(
Discrete mathematics > history(rev # 40)
|
history
)
by
Anonymous
?
at June 15, 2022 at 16:40:00
decidable setoid > history
(
decidable setoid > history(rev # 6)
|
history
)
by
Anonymous
?
at June 15, 2022 at 16:39:46
setoid > history
(
setoid > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 16:39:35
quotient set > history
(
quotient set > history(rev # 5)
|
history
)
by
Anonymous
?
at June 15, 2022 at 16:37:40
HomePage
(
HomePage(rev # 64)
|
history
)
by
Anonymous
?
at June 15, 2022 at 15:45:58
Resources > history
(
Resources > history(rev # 11)
|
history
)
by
Anonymous
?
at June 15, 2022 at 15:45:43
Events > history
(
Events > history(rev # 26)
|
history
)
by
Anonymous
?
at June 15, 2022 at 15:45:25
Categorical Homotopy Type Theory > history
(
Categorical Homotopy Type Theory > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 15:15:53
rational numbers > history
(
rational numbers > history(rev # 19)
|
history
)
by
Anonymous
?
at June 15, 2022 at 15:00:03
Number theory > history
(
Number theory > history(rev # 12)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:51:08
Discrete mathematics > history
(
Discrete mathematics > history(rev # 39)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:50:53
decimal numbers > history
(
decimal numbers > history(rev # 10)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:50:43
irrational numbers > history
(
irrational numbers > history(rev # 5)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:46:35
Agda > history
(
Agda > history(rev # 11)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:44:26
HomePage
(
HomePage(rev # 63)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:40:06
Proof Assistants > history
(
Proof Assistants > history(rev # 7)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:39:55
HomePage
(
HomePage(rev # 62)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:54:20
Algebra > history
(
Algebra > history(rev # 22)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:52:45
Egbert Rijke > history
(
Egbert Rijke > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:51:14
Emily Riehl > history
(
Emily Riehl > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:48:50
Eric Finster > history
(
Eric Finster > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:48:21
Evan Cavallo > history
(
Evan Cavallo > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:47:52
Floris van Doorn > history
(
Floris van Doorn > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:46:52
Guillaume Brunerie > history
(
Guillaume Brunerie > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:46:00
Ian Orton > history
(
Ian Orton > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:43:31
James Ladyman > history
(
James Ladyman > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:42:39
Jason Gross > history
(
Jason Gross > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:42:10
Jeremy Avigad > history
(
Jeremy Avigad > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:39:43
Kristina Sojakova > history
(
Kristina Sojakova > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:39:04
Kuen-Bang Hou (Favonia) > history
(
Kuen-Bang Hou (Favonia) > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:38:34
Luis Scoccola > history
(
Luis Scoccola > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:36:52
Martín Escardó > history
(
Martín Escardó > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:36:04
Matthieu Sozeau > history
(
Matthieu Sozeau > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:35:25
Michael Shulman > history
(
Michael Shulman > history(rev # 5)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:34:48
Michael Warren > history
(
Michael Warren > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:34:07
Morgan Opie > history
(
Morgan Opie > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:33:39
Nicola Gambino > history
(
Nicola Gambino > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:33:04
Nicolai Kraus > history
(
Nicolai Kraus > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:32:38
Paige North > history
(
Paige North > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:31:59
Paolo Capriotti > history
(
Paolo Capriotti > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:31:27
Per Martin-Löf > history
(
Per Martin-Löf > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:30:40
Ed Morehouse > history
(
Ed Morehouse > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:26:33
Dimitris Tsementzis > history
(
Dimitris Tsementzis > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:25:31
Denis-Charles Cisinski > history
(
Denis-Charles Cisinski > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:25:10
David Roberts > history
(
David Roberts > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:24:46
Daniel Christensen > history
(
Daniel Christensen > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:24:15
Dan Licata > history
(
Dan Licata > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:23:42
Dan Grayson > history
(
Dan Grayson > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:23:18
Chris Kapulkin > history
(
Chris Kapulkin > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:22:38
Cesare Gallozzi > history
(
Cesare Gallozzi > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:22:06
Carlo Angiuli > history
(
Carlo Angiuli > history(rev # 5)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:19:25
Benno van den Berg > history
(
Benno van den Berg > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:18:46
Benedikt Ahrens > history
(
Benedikt Ahrens > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:18:15
Bas Spitters > history
(
Bas Spitters > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:17:45
Anthony Bordg > history
(
Anthony Bordg > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:17:09
Andrew M. Pitts > history
(
Andrew M. Pitts > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:16:40
Andrej Bauer > history
(
Andrej Bauer > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:16:11
Andrea Vezzosi > history
(
Andrea Vezzosi > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:15:41
Anders Mörtberg > history
(
Anders Mörtberg > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:14:35
Ali Caglayan > history
(
Ali Caglayan > history(rev # 6)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:13:59
Peter Arndt > history
(
Peter Arndt > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:12:04
Peter LeFanu Lumsdaine > history
(
Peter LeFanu Lumsdaine > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:11:37
Pieter Hofstra > history
(
Pieter Hofstra > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:11:12
Richard Garner > history
(
Richard Garner > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:10:33
Robert Harper > history
(
Robert Harper > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:10:03
Simon Huber > history
(
Simon Huber > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:09:13
Steve Awodey > history
(
Steve Awodey > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:08:32
Stuart Presnell > history
(
Stuart Presnell > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:07:59
Thierry Coquand > history
(
Thierry Coquand > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:07:13
Taichi Uemura > history
(
Taichi Uemura > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:06:41
Thorsten Altenkirch > history
(
Thorsten Altenkirch > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:05:56
Toby Bartels > history
(
Toby Bartels > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:05:21
Ulrik Buchholtz > history
(
Ulrik Buchholtz > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:04:40
Urs Schreiber > history
(
Urs Schreiber > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:04:02
Vladimir Voevodsky > history
(
Vladimir Voevodsky > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:03:34
Álvaro Pelayo > history
(
Álvaro Pelayo > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:03:09
shape > history
(
shape > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 10:01:15
Algebra > history
(
Algebra > history(rev # 21)
|
history
)
by
Anonymous
?
at June 14, 2022 at 21:44:50
function algebra > history
(
function algebra > history(rev # 3)
|
history
)
by
Anonymous
?
at June 14, 2022 at 21:44:36
Algebra > history
(
Algebra > history(rev # 20)
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:20:14
module > history
(
module > history(rev # 7)
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:20:03
graded module > history
(
graded module > history(rev # 2)
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:18:41
geometric algebra > history
(
geometric algebra > history(rev # 6)
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:17:15
filtered algebra > history
(
filtered algebra > history(rev # 2)
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:16:13
quadratic form > history
(
quadratic form > history(rev # 5)
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:02:22
bilinear function > history
(
bilinear function > history(rev # 4)
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:02:00
Clifford algebra > history
(
Clifford algebra > history(rev # 4)
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:01:07
« Previous
1
2
3
4
5
6
7
8
9
10
Next »