Homotopy Type Theory CMU local activities > history (history)

June 18, 2022

• Current (diff)
  by Anonymous? on June 18, 2022 at 02:10:29.
• Revision 6 (diff)
  by Anonymous? on June 18, 2022 at 01:30:31.

June 15, 2022

• Revision 5 (diff)
  by Anonymous? on June 15, 2022 at 22:30:56.

September 18, 2020

• Revision 4 (diff)
  by Anonymous? on September 18, 2020 at 20:25:40.

September 25, 2018

• Revision 3 (diff)
  by Ali Caglayan on September 25, 2018 at 08:47:35.

June 10, 2018

• Revision 2 (diff)
  by steveawodey? on June 10, 2018 at 11:02:53.

February 29, 2016

• Revision 1
  by Steve Awodey on February 29, 2016 at 23:39:08.