Homotopy Type Theory Homotopy Type System > history (history)

June 9, 2022

• Current (diff)
  by Anonymous? on June 9, 2022 at 08:05:23.
• Revision 11 (diff)
  by Anonymous? on June 9, 2022 at 07:22:12.

October 13, 2014

• Revision 10 (diff)
  by Bas Spitters on October 13, 2014 at 16:05:15.

October 8, 2014

• Revision 9 (diff)
  by Bas Spitters on October 8, 2014 at 14:51:38.

August 29, 2014

• Revision 8 (diff)
  by Andrej Bauer? on August 29, 2014 at 09:37:07.

May 14, 2014

• Revision 7 (diff)
  by Mike Shulman on May 14, 2014 at 11:49:12.

May 9, 2014

• Revision 6 (diff)
  by Alexis Hazell? on May 9, 2014 at 02:40:26.

May 4, 2014

• Revision 5 (diff)
  by Alexis Hazell? on May 4, 2014 at 23:19:11.
• Revision 4 (diff)
  by Mike Shulman on May 4, 2014 at 06:35:08.

May 3, 2014

• Revision 3 (diff)
  by Mike Shulman on May 3, 2014 at 21:00:01.

March 11, 2014

• Revision 2 (diff)
  by Mike Shulman on March 11, 2014 at 06:46:49.

March 6, 2014

• Revision 1
  by Mike Shulman on March 6, 2014 at 15:37:50.