Homotopy Type Theory
Dan Grayson (history)

October 17, 2018

• Current (diff)
  by Ali Caglayan on October 17, 2018 at 10:56:45.

August 25, 2018

• Revision 2 (diff)
  by Anonymous? on August 25, 2018 at 19:33:29.

May 15, 2014

• Revision 1
  by Daniel R. Grayson on May 15, 2014 at 15:52:32.