Homotopy Type Theory
model of type theory in an (infinity,1)-topos > 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 08:09:29.
Revision 18
(
diff
)
by
Anonymous
?
on June 9, 2022 at 07:08:13.
November 12, 2019
Revision 17
(
diff
)
by
Ramkumar Ramachandra
?
on November 12, 2019 at 10:47:00.
Revision 16
(
diff
)
by
Ramkumar Ramachandra
?
on November 12, 2019 at 10:46:59.
March 13, 2019
Revision 15
(
diff
)
by
Urs Schreiber
on March 13, 2019 at 11:16:31.
June 24, 2015
Revision 14
(
diff
)
by
Bas Spitters
on June 24, 2015 at 05:40:27.
Revision 13
(
diff
)
by
Mike Shulman
on June 24, 2015 at 00:34:25.
April 13, 2015
Revision 12
(
diff
)
by
Urs Schreiber
on April 13, 2015 at 11:13:02.
November 21, 2014
Revision 11
(
diff
)
by
Urs Schreiber
on November 21, 2014 at 15:50:03.
October 24, 2014
Revision 10
(
diff
)
by
Urs Schreiber
on October 24, 2014 at 08:16:09.
October 17, 2014
Revision 9
(
diff
)
by
Urs Schreiber
on October 17, 2014 at 15:42:04.
October 1, 2014
Revision 8
(
diff
)
by
Bas Spitters
on October 1, 2014 at 14:38:50.
May 30, 2014
Revision 7
(
diff
)
by
Mike Shulman
on May 30, 2014 at 05:07:37.
May 14, 2014
Revision 6
(
diff
)
by
Alexis Hazell
?
on May 14, 2014 at 01:56:10.
May 10, 2014
Revision 5
(
diff
)
by
Alexis Hazell
?
on May 10, 2014 at 20:24:49.
May 9, 2014
Revision 4
(
diff
)
by
Alexis Hazell
?
on May 9, 2014 at 21:32:43.
May 3, 2014
Revision 3
(
diff
)
by
Mike Shulman
on May 3, 2014 at 12:29:23.
May 2, 2014
Revision 2
(
diff
)
by
Mike Shulman
on May 2, 2014 at 13:54:28.
February 18, 2014
Revision 1
by
Mike Shulman
on February 18, 2014 at 12:42:18.