Homotopy Type Theory
References (history)
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
April 15, 2019
Current
(
diff
)
by
Ali Caglayan
on April 15, 2019 at 22:10:53 from 5.151.177.224.
April 1, 2019
Revision 70
(
diff
)
by
Ali Caglayan
on April 1, 2019 at 03:39:56 from 5.151.177.224.
March 12, 2019
Revision 69
(
diff
)
by
steveawodey
?
on March 12, 2019 at 16:31:54 from 128.237.211.134.
March 10, 2019
Revision 68
(
diff
)
by
Ali Caglayan
on March 10, 2019 at 23:38:49 from 5.151.177.224.
February 19, 2019
Revision 67
(
diff
)
by
Ali Caglayan
on February 19, 2019 at 16:41:08 from 5.151.177.224.
Revision 66
(
diff
)
by
Ali Caglayan
on February 19, 2019 at 09:47:18 from 138.38.63.118.
February 14, 2019
Revision 65
(
diff
)
by
Ali Caglayan
on February 14, 2019 at 10:24:12 from 138.38.186.183.
January 25, 2019
Revision 64
(
diff
)
by
Mike Shulman
on January 25, 2019 at 19:50:39 from 69.75.108.203.
November 1, 2018
Revision 63
(
diff
)
by
Mike Shulman
on November 1, 2018 at 13:48:34 from 192.195.154.58.
October 14, 2018
Revision 62
(
diff
)
by
Ali Caglayan
on October 14, 2018 at 13:24:13 from 138.38.63.131.
October 10, 2018
Revision 61
(
diff
)
by
Ali Caglayan
on October 10, 2018 at 15:04:13 from 2a01:388:2e9:110::1:1b.
Revision 60
(
diff
)
by
Ali Caglayan
on October 10, 2018 at 13:41:29 from 2a01:388:2e9:110::1:1b.
Revision 59
(
diff
)
by
Ali Caglayan
on October 10, 2018 at 12:34:20 from 138.38.63.95.
September 28, 2018
Revision 58
(
diff
)
by
Richard Williamson
?
on September 28, 2018 at 11:34:25 from 84.202.247.109.
April 17, 2018
Revision 57
(
diff
)
by
Mike Shulman
on April 17, 2018 at 19:16:11 from 69.75.108.203.
March 29, 2018
Revision 56
(
diff
)
by
Mike Shulman
on March 29, 2018 at 12:08:33 from 192.195.154.101.
March 20, 2018
Revision 55
(
diff
)
by
Steve Awodey
on March 20, 2018 at 22:18:54 from 74.98.210.201.
Revision 54
(
diff
)
by
Steve Awodey
on March 20, 2018 at 21:24:55 from 74.98.210.201.
March 18, 2018
Revision 53
(
diff
)
by
Mike Shulman
on March 18, 2018 at 14:29:24 from 76.167.222.204.
March 13, 2018
Revision 52
(
diff
)
by
Mike Shulman
on March 13, 2018 at 14:06:16 from 76.167.222.204.
March 6, 2018
Revision 51
(
diff
)
by
Mike Shulman
on March 6, 2018 at 23:08:16 from 76.167.222.204.
March 2, 2018
Revision 50
(
diff
)
by
Mike Shulman
on March 2, 2018 at 16:41:05 from 192.195.154.101.
March 1, 2018
Revision 49
(
diff
)
by
Mike Shulman
on March 1, 2018 at 07:26:54 from 76.167.222.204.
February 13, 2018
Revision 48
(
diff
)
by
Mike Shulman
on February 13, 2018 at 17:40:31 from 192.195.154.101.
November 7, 2017
Revision 47
(
diff
)
by
Mike Shulman
on November 7, 2017 at 04:11:39 from 76.167.222.204.
October 31, 2017
Revision 46
(
diff
)
by
Mike Shulman
on October 31, 2017 at 02:55:58 from 76.167.222.204.
September 11, 2017
Revision 45
(
diff
)
by
Anthony Bordg
on September 11, 2017 at 19:01:14 from 195.113.30.252.
September 5, 2017
Revision 44
(
diff
)
by
Mike Shulman
on September 5, 2017 at 04:20:33 from 76.167.222.204.
July 19, 2017
Revision 43
(
diff
)
by
Mike Shulman
on July 19, 2017 at 17:55:04 from 207.207.127.244.
July 14, 2017
Revision 42
(
diff
)
by
Mike Shulman
on July 14, 2017 at 13:24:46 from 76.167.222.204.
June 20, 2017
Revision 41
(
diff
)
by
Mike Shulman
on June 20, 2017 at 01:43:29 from 76.167.222.204.
May 22, 2017
Revision 40
(
diff
)
by
Mike Shulman
on May 22, 2017 at 03:58:52 from 76.167.222.204.
May 14, 2017
Revision 39
(
diff
)
by
Mike Shulman
on May 14, 2017 at 07:31:48 from 76.167.222.204.
May 9, 2017
Revision 38
(
diff
)
by
Urs Schreiber
on May 9, 2017 at 08:46:46 from 131.220.184.222.
Revision 37
(
diff
)
by
Mike Shulman
on May 9, 2017 at 04:18:32 from 76.167.222.204.
April 20, 2017
Revision 36
(
diff
)
by
Mike Shulman
on April 20, 2017 at 02:05:08 from 76.167.222.204.
April 19, 2017
Revision 35
(
diff
)
by
Nicolai Kraus
on April 19, 2017 at 06:31:56 from 128.243.2.144.
January 27, 2017
Revision 34
(
diff
)
by
Mike Shulman
on January 27, 2017 at 06:19:04 from 76.167.222.204.
October 19, 2016
Revision 33
(
diff
)
by
Chris Kapulkin
on October 19, 2016 at 19:00:23 from 129.100.253.83.
October 17, 2016
Revision 32
(
diff
)
by
Bas Spitters
on October 17, 2016 at 07:53:16 from 64.124.32.84.
October 5, 2016
Revision 31
(
diff
)
by
Mike Shulman
on October 5, 2016 at 02:21:36 from 76.167.222.204.
September 4, 2016
Revision 30
(
diff
)
by
amp
?
on September 4, 2016 at 09:52:07 from 109.149.4.235.
Revision 29
(
diff
)
by
amp
?
on September 4, 2016 at 09:52:07 from 109.149.4.235.
July 15, 2016
Revision 28
(
diff
)
by
Nicolai Kraus
on July 15, 2016 at 04:56:46 from 128.243.18.89.
June 30, 2016
Revision 27
(
diff
)
by
amp
?
on June 30, 2016 at 09:12:15 from 86.139.228.48.
June 26, 2016
Revision 26
(
diff
)
by
Floris van Doorn
on June 26, 2016 at 16:59:17 from 188.251.215.218.
June 25, 2016
Revision 25
(
diff
)
by
Anonymous Coward
?
on June 25, 2016 at 12:25:31 from 96.239.81.135.
June 24, 2016
Revision 24
(
diff
)
by
Bas Spitters
on June 24, 2016 at 06:37:51 from 130.225.0.251.
Revision 23
(
diff
)
by
amp12
?
on June 24, 2016 at 04:31:11 from 128.232.56.72.
Revision 22
(
diff
)
by
Anonymous Coward
?
on June 24, 2016 at 02:57:25 from 193.54.76.162.
June 23, 2016
Revision 21
(
diff
)
by
Mike Shulman
on June 23, 2016 at 18:46:40 from 69.75.108.203.
May 21, 2016
Revision 20
(
diff
)
by
Mike Shulman
on May 21, 2016 at 04:59:26 from 173.243.42.162.
May 19, 2016
Revision 19
(
diff
)
by
Mike Shulman
on May 19, 2016 at 22:14:19 from 173.243.42.162.
April 19, 2016
Revision 18
(
diff
)
by
Mike Shulman
on April 19, 2016 at 14:13:13 from 192.195.154.58.
April 1, 2016
Revision 17
(
diff
)
by
Mike Shulman
on April 1, 2016 at 15:31:49 from 192.195.154.58.
March 25, 2016
Revision 16
(
diff
)
by
Mike Shulman
on March 25, 2016 at 13:10:40 from 192.195.154.151.
March 18, 2016
Revision 15
(
diff
)
by
Mike Shulman
on March 18, 2016 at 10:23:46 from 172.25.2.163.
March 17, 2016
Revision 14
(
diff
)
by
Mike Shulman
on March 17, 2016 at 15:47:26 from 172.25.2.163.
February 26, 2016
Revision 13
(
diff
)
by
Mike Shulman
on February 26, 2016 at 15:19:19 from 192.195.154.58.
November 9, 2015
Revision 12
(
diff
)
by
Chris Kapulkin
on November 9, 2015 at 23:42:19 from 99.250.37.92.
November 8, 2015
Revision 11
(
diff
)
by
Chris Kapulkin
on November 8, 2015 at 23:02:09 from 99.250.37.92.
November 7, 2015
Revision 10
(
diff
)
by
steveawodey
?
on November 7, 2015 at 16:12:05 from 66.205.166.132.
September 10, 2015
Revision 9
(
diff
)
by
Mike Shulman
on September 10, 2015 at 23:24:10 from 108.225.238.229.
September 1, 2015
Revision 8
(
diff
)
by
Mike Shulman
on September 1, 2015 at 17:41:55 from 192.195.154.58.
August 14, 2015
Revision 7
(
diff
)
by
Chris Kapulkin
on August 14, 2015 at 07:57:37 from 89.75.87.204.
August 13, 2015
Revision 6
(
diff
)
by
Chris Kapulkin
on August 13, 2015 at 17:34:03 from 89.75.87.204.
August 12, 2015
Revision 5
(
diff
)
by
Mike Shulman
on August 12, 2015 at 22:49:22 from 107.194.23.190.
June 29, 2015
Revision 4
(
diff
)
by
Mike Shulman
on June 29, 2015 at 14:52:11 from 108.247.150.134.
April 23, 2015
Revision 3
(
diff
)
by
David Roberts
on April 23, 2015 at 03:10:18 from 203.24.207.3.
March 28, 2015
Revision 2
(
diff
)
by
Mike Shulman
on March 28, 2015 at 13:01:53 from 50.73.176.253.
December 4, 2014
Revision 1
by
Anonymous Coward
?
on December 4, 2014 at 20:23:48 from 92.94.117.197.