Homotopy Type Theory
homotopy groups of spheres (history)

February 14, 2019

• Current (diff)
  by Ali Caglayan on February 14, 2019 at 06:14:33 from 138.38.186.183.

January 19, 2019

• Revision 17 (diff)
  by Ali Caglayan on January 19, 2019 at 12:54:53 from 2a01:388:2e9:110::1:10.

October 18, 2018

• Revision 16 (diff)
  by Alexis Hazell? on October 18, 2018 at 07:50:01 from 60.224.133.205.
• Revision 15 (diff)
  by Alexis Hazell? on October 18, 2018 at 05:45:04 from 60.224.133.205.
• Revision 14 (diff)
  by Richard Williamson? on October 18, 2018 at 05:24:10 from 78.91.103.181.
• Revision 13 (diff)
  by Alexis Hazell? on October 18, 2018 at 05:09:03 from 60.224.133.205.

October 17, 2018

• Revision 12 (diff)
  by Ali Caglayan on October 17, 2018 at 10:47:52 from 138.38.62.88.

October 9, 2018

• Revision 11 (diff)
  by Anonymous? on October 9, 2018 at 10:10:00 from 138.38.101.141.

September 14, 2018

• Revision 10 (diff)
  by Ali Caglayan on September 14, 2018 at 11:42:48 from 81.187.255.239.
• Revision 9 (diff)
  by Ali Caglayan on September 14, 2018 at 08:22:35 from 81.187.255.239.
• Revision 8 (diff)
  by Urs Schreiber on September 14, 2018 at 07:44:57 from 195.229.110.4.
• Revision 7 (diff)
  by Ali Caglayan on September 14, 2018 at 06:39:42 from 81.187.255.239.
• Revision 6 (diff)
  by Ali Caglayan on September 14, 2018 at 05:31:55 from 81.187.255.239.

January 24, 2018

• Revision 5 (diff)
  by Floris van Doorn on January 24, 2018 at 12:36:04 from 128.2.149.6.

June 8, 2016

• Revision 4 (diff)
  by David Roberts on June 8, 2016 at 19:24:19 from 211.26.51.197.

March 3, 2014

• Revision 3 (diff)
  by Mike Shulman on March 3, 2014 at 14:10:44 from 192.195.154.58.
• Revision 2 (diff)
  by Mike Shulman on March 3, 2014 at 13:34:13 from 192.195.154.58.

March 2, 2014

• Revision 1
  by Alexis Hazell? on March 2, 2014 at 19:55:58 from 118.209.38.145.