Homotopy Type Theory
Formalized Homotopy Theory (history)

January 19, 2019

• Current (diff)
  by Ali Caglayan on January 19, 2019 at 14:06:38 from 2a01:388:2e9:110::1:10.
• Revision 11 (diff)
  by Ali Caglayan on January 19, 2019 at 12:54:05 from 2a01:388:2e9:110::1:10.

August 25, 2018

• Revision 10 (diff)
  by Anonymous? on August 25, 2018 at 20:16:35 from 82.132.187.84.

May 30, 2016

• Revision 9 (diff)
  by Anonymous Coward? on May 30, 2016 at 10:51:47 from 114.84.155.39.

February 15, 2016

• Revision 8 (diff)
  by David Roberts on February 15, 2016 at 19:30:46 from 129.127.36.156.

February 14, 2016

• Revision 7 (diff)
  by David Roberts on February 14, 2016 at 17:55:06 from 202.138.13.130.

March 1, 2015

• Revision 6 (diff)
  by ecavallo? on March 1, 2015 at 01:13:41 from 63.156.217.195.

January 18, 2015

• Revision 5 (diff)
  by Bas Spitters on January 18, 2015 at 03:32:27 from 108.17.80.235.

January 17, 2015

• Revision 4 (diff)
  by Carlo Angiuli on January 17, 2015 at 20:34:08 from 67.186.56.48.

March 31, 2014

• Revision 3 (diff)
  by David Roberts on March 31, 2014 at 18:06:55 from 129.127.252.11.

March 3, 2014

• Revision 2 (diff)
  by Mike Shulman on March 3, 2014 at 14:11:53 from 192.195.154.58.

March 2, 2014

• Revision 1
  by Alexis Hazell? on March 2, 2014 at 19:54:40 from 118.209.38.145.