Homotopy Type Theory
Synthetic Cohomology in Homotopy Type Theory (history)

November 26, 2020

• Current (diff)
  by Jonas Frey? on November 26, 2020 at 16:15:05.

October 14, 2018

• Revision 2 (diff)
  by Ali Caglayan on October 14, 2018 at 13:00:08.
• Revision 1
  by Anonymous? on October 14, 2018 at 12:41:28.