Homotopy Type Theory
spectrum (history)

December 18, 2018

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

December 17, 2018

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