Homotopy Type Theory
Eric Finster, Towards Higher Universal Algebra in Type Theory (history)

March 16, 2019

• Current (diff)
  by Ali Caglayan on March 16, 2019 at 19:46:08.

February 16, 2019

• Revision 13 (diff)
  by Leo? on February 16, 2019 at 08:39:32.

January 10, 2019

• Revision 12 (diff)
  by Ali Caglayan on January 10, 2019 at 07:17:58.

December 25, 2018

• Revision 11 (diff)
  by Ali Caglayan on December 25, 2018 at 07:15:42.

December 24, 2018

• Revision 10 (diff)
  by Ali Caglayan on December 24, 2018 at 18:44:09.

December 10, 2018

• Revision 9 (diff)
  by Tim Porter? on December 10, 2018 at 07:47:37.

December 7, 2018

• Revision 8 (diff)
  by Ali Caglayan on December 7, 2018 at 13:37:28.
• Revision 7 (diff)
  by Ali Caglayan on December 7, 2018 at 11:04:32.
• Revision 6 (diff)
  by Urs Schreiber on December 7, 2018 at 09:50:30.
• Revision 5 (diff)
  by Ali Caglayan on December 7, 2018 at 09:37:16.
• Revision 4 (diff)
  by Urs Schreiber on December 7, 2018 at 09:12:14.
• Revision 3 (diff)
  by Ali Caglayan on December 7, 2018 at 07:00:16.
• Revision 2 (diff)
  by Urs Schreiber on December 7, 2018 at 02:16:12.

December 6, 2018

• Revision 1
  by Ali Caglayan on December 6, 2018 at 18:15:30.