Homotopy Type Theory
Resources (history)

June 3, 2018

• Current (diff)
  by Bas Spitters on June 3, 2018 at 12:05:18 from 131.220.249.108.

February 29, 2016

• Revision 7 (diff)
  by Steve Awodey on February 29, 2016 at 18:38:46 from 74.109.213.223.

June 3, 2014

• Revision 6 (diff)
  by Alexis Hazell? on June 3, 2014 at 19:34:43 from 118.209.145.187.

May 31, 2014

• Revision 5 (diff)
  by steve awodey? on May 31, 2014 at 06:52:25 from 78.250.163.44.

May 16, 2014

• Revision 4 (diff)
  by Steve Awodey on May 16, 2014 at 05:51:32 from 78.250.162.223.

May 15, 2014

• Revision 3 (diff)
  by Alexis Hazell? on May 15, 2014 at 01:02:51 from 118.209.145.187.

May 14, 2014

• Revision 2 (diff)
  by Alexis Hazell? on May 14, 2014 at 22:42:32 from 118.209.145.187.
• Revision 1
  by Steve Awodey on May 14, 2014 at 01:39:15 from 78.250.58.160.