Homotopy Type Theory
References > 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 18:33:45.
Revision 79
(
diff
)
by
Anonymous
?
on June 9, 2022 at 16:57:44.
April 6, 2022
Revision 78
(
diff
)
by
Mike Shulman
on April 6, 2022 at 21:56:30.
March 1, 2022
Revision 77
(
diff
)
by
Mike Shulman
on March 1, 2022 at 07:48:59.
February 28, 2022
Revision 76
(
diff
)
by
Mike Shulman
on February 28, 2022 at 19:07:27.
January 15, 2022
Revision 75
(
diff
)
by
Anonymous
?
on January 15, 2022 at 14:10:55.
May 31, 2021
Revision 74
(
diff
)
by
Anonymous
?
on May 31, 2021 at 02:52:20.
December 2, 2020
Revision 73
(
diff
)
by
Mike Shulman
on December 2, 2020 at 17:54:57.
November 20, 2020
Revision 72
(
diff
)
by
Mike Shulman
on November 20, 2020 at 15:55:26.
April 16, 2019
Revision 71
(
diff
)
by
Ali Caglayan
on April 16, 2019 at 02:10:53.
April 1, 2019
Revision 70
(
diff
)
by
Ali Caglayan
on April 1, 2019 at 07:39:56.
March 12, 2019
Revision 69
(
diff
)
by
steveawodey
?
on March 12, 2019 at 20:31:54.
March 11, 2019
Revision 68
(
diff
)
by
Ali Caglayan
on March 11, 2019 at 03:38:49.
February 19, 2019
Revision 67
(
diff
)
by
Ali Caglayan
on February 19, 2019 at 21:41:08.
Revision 66
(
diff
)
by
Ali Caglayan
on February 19, 2019 at 14:47:18.
February 14, 2019
Revision 65
(
diff
)
by
Ali Caglayan
on February 14, 2019 at 15:24:12.
January 26, 2019
Revision 64
(
diff
)
by
Mike Shulman
on January 26, 2019 at 00:50:39.
November 1, 2018
Revision 63
(
diff
)
by
Mike Shulman
on November 1, 2018 at 17:48:34.
October 14, 2018
Revision 62
(
diff
)
by
Ali Caglayan
on October 14, 2018 at 17:24:13.
October 10, 2018
Revision 61
(
diff
)
by
Ali Caglayan
on October 10, 2018 at 19:04:13.
Revision 60
(
diff
)
by
Ali Caglayan
on October 10, 2018 at 17:41:29.
Revision 59
(
diff
)
by
Ali Caglayan
on October 10, 2018 at 16:34:20.
September 28, 2018
Revision 58
(
diff
)
by
Richard Williamson
?
on September 28, 2018 at 15:34:25.
April 17, 2018
Revision 57
(
diff
)
by
Mike Shulman
on April 17, 2018 at 23:16:11.
March 29, 2018
Revision 56
(
diff
)
by
Mike Shulman
on March 29, 2018 at 16:08:33.
March 21, 2018
Revision 55
(
diff
)
by
Steve Awodey
on March 21, 2018 at 02:18:54.
Revision 54
(
diff
)
by
Steve Awodey
on March 21, 2018 at 01:24:55.
March 18, 2018
Revision 53
(
diff
)
by
Mike Shulman
on March 18, 2018 at 18:29:24.
March 13, 2018
Revision 52
(
diff
)
by
Mike Shulman
on March 13, 2018 at 18:06:16.
March 7, 2018
Revision 51
(
diff
)
by
Mike Shulman
on March 7, 2018 at 04:08:16.
March 2, 2018
Revision 50
(
diff
)
by
Mike Shulman
on March 2, 2018 at 21:41:05.
March 1, 2018
Revision 49
(
diff
)
by
Mike Shulman
on March 1, 2018 at 12:26:54.
February 13, 2018
Revision 48
(
diff
)
by
Mike Shulman
on February 13, 2018 at 22:40:31.
November 7, 2017
Revision 47
(
diff
)
by
Mike Shulman
on November 7, 2017 at 09:11:39.
October 31, 2017
Revision 46
(
diff
)
by
Mike Shulman
on October 31, 2017 at 06:55:58.
September 11, 2017
Revision 45
(
diff
)
by
Anthony Bordg
on September 11, 2017 at 23:01:14.
September 5, 2017
Revision 44
(
diff
)
by
Mike Shulman
on September 5, 2017 at 08:20:33.
July 19, 2017
Revision 43
(
diff
)
by
Mike Shulman
on July 19, 2017 at 21:55:04.
July 14, 2017
Revision 42
(
diff
)
by
Mike Shulman
on July 14, 2017 at 17:24:46.
June 20, 2017
Revision 41
(
diff
)
by
Mike Shulman
on June 20, 2017 at 05:43:29.
May 22, 2017
Revision 40
(
diff
)
by
Mike Shulman
on May 22, 2017 at 07:58:52.
May 14, 2017
Revision 39
(
diff
)
by
Mike Shulman
on May 14, 2017 at 11:31:48.
May 9, 2017
Revision 38
(
diff
)
by
Urs Schreiber
on May 9, 2017 at 12:46:46.
Revision 37
(
diff
)
by
Mike Shulman
on May 9, 2017 at 08:18:32.
April 20, 2017
Revision 36
(
diff
)
by
Mike Shulman
on April 20, 2017 at 06:05:08.
April 19, 2017
Revision 35
(
diff
)
by
Nicolai Kraus
on April 19, 2017 at 10:31:56.
January 27, 2017
Revision 34
(
diff
)
by
Mike Shulman
on January 27, 2017 at 11:19:04.
October 19, 2016
Revision 33
(
diff
)
by
Chris Kapulkin
on October 19, 2016 at 23:00:23.
October 17, 2016
Revision 32
(
diff
)
by
Bas Spitters
on October 17, 2016 at 11:53:16.
October 5, 2016
Revision 31
(
diff
)
by
Mike Shulman
on October 5, 2016 at 06:21:36.
September 4, 2016
Revision 30
(
diff
)
by
amp
?
on September 4, 2016 at 13:52:07.
Revision 29
(
diff
)
by
amp
?
on September 4, 2016 at 13:52:07.
July 15, 2016
Revision 28
(
diff
)
by
Nicolai Kraus
on July 15, 2016 at 08:56:46.
June 30, 2016
Revision 27
(
diff
)
by
amp
?
on June 30, 2016 at 13:12:15.
June 26, 2016
Revision 26
(
diff
)
by
Floris van Doorn
on June 26, 2016 at 20:59:17.
June 25, 2016
Revision 25
(
diff
)
by
Anonymous
?
on June 25, 2016 at 16:25:31.
June 24, 2016
Revision 24
(
diff
)
by
Bas Spitters
on June 24, 2016 at 10:37:51.
Revision 23
(
diff
)
by
amp12
?
on June 24, 2016 at 08:31:11.
Revision 22
(
diff
)
by
Anonymous
?
on June 24, 2016 at 06:57:25.
June 23, 2016
Revision 21
(
diff
)
by
Mike Shulman
on June 23, 2016 at 22:46:40.
May 21, 2016
Revision 20
(
diff
)
by
Mike Shulman
on May 21, 2016 at 08:59:26.
May 20, 2016
Revision 19
(
diff
)
by
Mike Shulman
on May 20, 2016 at 02:14:19.
April 19, 2016
Revision 18
(
diff
)
by
Mike Shulman
on April 19, 2016 at 18:13:13.
April 1, 2016
Revision 17
(
diff
)
by
Mike Shulman
on April 1, 2016 at 19:31:49.
March 25, 2016
Revision 16
(
diff
)
by
Mike Shulman
on March 25, 2016 at 17:10:40.
March 18, 2016
Revision 15
(
diff
)
by
Mike Shulman
on March 18, 2016 at 14:23:46.
March 17, 2016
Revision 14
(
diff
)
by
Mike Shulman
on March 17, 2016 at 19:47:26.
February 26, 2016
Revision 13
(
diff
)
by
Mike Shulman
on February 26, 2016 at 20:19:19.
November 9, 2015
Revision 12
(
diff
)
by
Chris Kapulkin
on November 9, 2015 at 23:42:19.
November 8, 2015
Revision 11
(
diff
)
by
Chris Kapulkin
on November 8, 2015 at 23:02:09.
November 7, 2015
Revision 10
(
diff
)
by
steveawodey
?
on November 7, 2015 at 16:12:05.
September 10, 2015
Revision 9
(
diff
)
by
Mike Shulman
on September 10, 2015 at 23:24:10.
September 1, 2015
Revision 8
(
diff
)
by
Mike Shulman
on September 1, 2015 at 17:41:55.
August 14, 2015
Revision 7
(
diff
)
by
Chris Kapulkin
on August 14, 2015 at 07:57:37.
August 13, 2015
Revision 6
(
diff
)
by
Chris Kapulkin
on August 13, 2015 at 17:34:03.
August 12, 2015
Revision 5
(
diff
)
by
Mike Shulman
on August 12, 2015 at 22:49:22.
June 29, 2015
Revision 4
(
diff
)
by
Mike Shulman
on June 29, 2015 at 14:52:11.
April 23, 2015
Revision 3
(
diff
)
by
David Roberts
on April 23, 2015 at 03:10:18.
March 28, 2015
Revision 2
(
diff
)
by
Mike Shulman
on March 28, 2015 at 13:01:53.
December 4, 2014
Revision 1
by
Anonymous
?
on December 4, 2014 at 20:23:48.