Homotopy Type Theory
Vladimir Voevodsky (history)

October 19, 2018

• Current (diff)
  by Ali Caglayan on October 19, 2018 at 06:59:07.

October 10, 2018

• Revision 1
  by Ali Caglayan on October 10, 2018 at 13:47:43.