Homotopy Type Theory
Formalized Homotopy Theory (history)

January 19, 2019

• Current (diff)
  by Ali Caglayan on January 19, 2019 at 14:06:38.
• Revision 11 (diff)
  by Ali Caglayan on January 19, 2019 at 12:54:05.

August 25, 2018

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

May 30, 2016

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

February 15, 2016

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

February 14, 2016

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

March 1, 2015

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

January 18, 2015

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

January 17, 2015

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

March 31, 2014

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

March 3, 2014

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

March 2, 2014

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