Homotopy Type Theory Michael Shulman > history (history)

June 15, 2022

• Current (diff)
  by Anonymous? on June 15, 2022 at 14:34:48.

October 17, 2018

• Revision 4 (diff)
  by Ali Caglayan on October 17, 2018 at 15:06:13.

October 10, 2018

• Revision 3 (diff)
  by Ali Caglayan on October 10, 2018 at 16:27:56.

August 25, 2018

• Revision 2 (diff)
  by Anonymous? on August 25, 2018 at 23:34:30.

February 18, 2014

• Revision 1
  by Mike Shulman on February 18, 2014 at 12:06:02.