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

June 16, 2022

• Current (diff)
  by Anonymous? on June 16, 2022 at 01:32:29.

June 9, 2022

• Revision 15 (diff)
  by Anonymous? on June 9, 2022 at 07:43:23.

March 16, 2019

• Revision 14 (diff)
  by Ali Caglayan on March 16, 2019 at 23:46:08.

February 16, 2019

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

January 10, 2019

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

December 25, 2018

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

December 24, 2018

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

December 10, 2018

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

December 7, 2018

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

December 6, 2018

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