Homotopy Type Theory James construction > history (history)

June 9, 2022

• Current (diff)
  by Anonymous? on June 9, 2022 at 08:07:14.

June 8, 2022

• Revision 11 (diff)
  by Anonymous? on June 8, 2022 at 01:45:05.
• Revision 10 (diff)
  by Anonymous? on June 8, 2022 at 00:38:12.

September 4, 2018

• Revision 9 (diff)
  by Ali Caglayan on September 4, 2018 at 16:59:39.
• Revision 8 (diff)
  by Ali Caglayan on September 4, 2018 at 13:38:31.

August 31, 2018

• Revision 7 (diff)
  by Floris van Doorn on August 31, 2018 at 14:50:36.

August 27, 2018

• Revision 6 (diff)
  by Anonymous? on August 27, 2018 at 12:54:48.
• Revision 5 (diff)
  by Anonymous? on August 27, 2018 at 11:59:59.

August 26, 2018

• Revision 4 (diff)
  by Anonymous? on August 26, 2018 at 00:13:23.

August 18, 2018

• Revision 3 (diff)
  by Ali Caglayan on August 18, 2018 at 13:13:04.
• Revision 2 (diff)
  by Ali Caglayan on August 18, 2018 at 12:13:30.

August 5, 2018

• Revision 1
  by Ali Caglayan on August 5, 2018 at 13:51:02.