Homotopy Type Theory proof theoretic strength of univalent type theory plus HITs > history (history)

June 9, 2022

• Current (diff)
  by Anonymous? on June 9, 2022 at 08:12:03.
• Revision 5 (diff)
  by Anonymous? on June 9, 2022 at 07:09:47.
• Revision 4 (diff)
  by Anonymous? on June 9, 2022 at 06:38:23.

June 6, 2022

• Revision 3 (diff)
  by Anonymous? on June 6, 2022 at 20:12:20.

January 15, 2015

• Revision 2 (diff)
  by Ulrik Buchholtz on January 15, 2015 at 20:44:12.

January 12, 2015

• Revision 1
  by Bas Spitters on January 12, 2015 at 19:27:53.