Homotopy Type Theory
spectrum (history)

December 18, 2018

• Current (diff)
  by Ali Caglayan on December 18, 2018 at 08:11:00.

December 17, 2018

• Revision 2 (diff)
  by Ali Caglayan on December 17, 2018 at 19:40:51.
• Revision 1
  by Ali Caglayan on December 17, 2018 at 19:42:21.