Homotopy Type Theory
univalent universe > history (history)
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
June 9, 2022
Current
(
diff
)
by
Anonymous
?
on June 9, 2022 at 23:51:39.
Revision 10
(
diff
)
by
Anonymous
?
on June 9, 2022 at 21:00:03.
April 29, 2022
Revision 9
(
diff
)
by
Anonymous
?
on April 29, 2022 at 18:27:05.
October 11, 2018
Revision 8
(
diff
)
by
Ali Caglayan
on October 11, 2018 at 07:43:10.
May 3, 2014
Revision 7
(
diff
)
by
Mike Shulman
on May 3, 2014 at 12:28:55.
March 6, 2014
Revision 6
(
diff
)
by
Alexis Hazell
?
on March 6, 2014 at 18:55:42.
March 4, 2014
Revision 5
(
diff
)
by
Alexis Hazell
?
on March 4, 2014 at 02:23:58.
March 3, 2014
Revision 4
(
diff
)
by
Mike Shulman
on March 3, 2014 at 14:14:01.
February 19, 2014
Revision 3
(
diff
)
by
Steve Awodey
?
on February 19, 2014 at 19:01:59.
Revision 2
(
diff
)
by
Steve Awodey
?
on February 19, 2014 at 12:56:43.
February 18, 2014
Revision 1
by
Mike Shulman
on February 18, 2014 at 12:40:14.