Homotopy Type Theory higher observational type theory > history (history)

June 19, 2022

• Current (diff)
  by Anonymous? on June 19, 2022 at 18:26:34.

June 15, 2022

• Revision 15 (diff)
  by Anonymous? on June 15, 2022 at 22:53:16.

May 7, 2022

• Revision 14 (diff)
  by Anonymous? on May 7, 2022 at 05:59:10.

May 6, 2022

• Revision 13 (diff)
  by Anonymous? on May 6, 2022 at 22:01:22.
• Revision 12 (diff)
  by Anonymous? on May 6, 2022 at 20:46:00.
• Revision 11 (diff)
  by Anonymous? on May 6, 2022 at 06:58:39.

May 1, 2022

• Revision 10 (diff)
  by Anonymous? on May 1, 2022 at 19:37:20.
• Revision 9 (diff)
  by Anonymous? on May 1, 2022 at 06:03:14.
• Revision 8 (diff)
  by Anonymous? on May 1, 2022 at 00:02:49.

April 30, 2022

• Revision 7 (diff)
  by Anonymous? on April 30, 2022 at 21:22:15.
• Revision 6 (diff)
  by Anonymous? on April 30, 2022 at 20:29:24.
• Revision 5 (diff)
  by Anonymous? on April 30, 2022 at 12:40:55.

April 29, 2022

• Revision 4 (diff)
  by Anonymous? on April 29, 2022 at 23:19:19.
• Revision 3 (diff)
  by Anonymous? on April 29, 2022 at 22:06:33.
• Revision 2 (diff)
  by Anonymous? on April 29, 2022 at 18:04:21.
• Revision 1
  by Anonymous? on April 29, 2022 at 14:11:12.