Homotopy Type Theory
Events (history)

May 22, 2020

• Current (diff)
  by Robin Adams? on May 22, 2020 at 11:23:41 from 81.232.114.215.

May 13, 2020

• Revision 20 (diff)
  by Bas Spitters on May 13, 2020 at 10:37:00 from 80.167.221.83.

April 6, 2020

• Revision 19 (diff)
  by Anonymous? on April 6, 2020 at 22:53:13 from 84.216.251.226.

March 23, 2020

• Revision 18 (diff)
  by Anonymous? on March 23, 2020 at 11:30:41 from 84.216.241.128.

March 21, 2020

• Revision 17 (diff)
  by nicolas tabareau? on March 21, 2020 at 10:11:39 from 181.43.130.202.

March 7, 2020

• Revision 16 (diff)
  by Bas Spitters on March 7, 2020 at 11:17:18 from 80.167.221.83.

February 12, 2020

• Revision 15 (diff)
  by Guillaume Brunerie on February 12, 2020 at 06:22:45 from 130.237.198.80.
• Revision 14 (diff)
  by Bas Spitters on February 12, 2020 at 03:12:39 from 130.225.0.251.

February 10, 2020

• Revision 13 (diff)
  by Bas Spitters on February 10, 2020 at 10:10:57 from 185.45.22.140.
• Revision 12 (diff)
  by Bas Spitters on February 10, 2020 at 07:30:39 from 185.45.22.140.

January 24, 2020

• Revision 11 (diff)
  by Bas Spitters on January 24, 2020 at 17:12:30 from 12.218.115.60.

January 22, 2020

• Revision 10 (diff)
  by Bas Spitters on January 22, 2020 at 17:45:42 from 12.218.115.60.

August 18, 2019

• Revision 9 (diff)
  by steveawodey? on August 18, 2019 at 17:16:12 from 72.77.33.107.

December 21, 2018

• Revision 8 (diff)
  by Ali Caglayan on December 21, 2018 at 12:36:55 from 81.187.255.239.
• Revision 7 (diff)
  by Ulrik Buchholtz on December 21, 2018 at 09:35:57 from 158.36.184.55.
• Revision 6 (diff)
  by David Corfield? on December 21, 2018 at 08:51:01 from 129.12.18.70.
• Revision 5 (diff)
  by Bas Spitters on December 21, 2018 at 08:37:43 from 130.225.0.251.

September 25, 2018

• Revision 4 (diff)
  by Ali Caglayan on September 25, 2018 at 04:48:10 from 81.187.255.239.

July 4, 2018

• Revision 3 (diff)
  by steveawodey? on July 4, 2018 at 11:08:08 from 131.220.133.108.

June 4, 2018

• Revision 2 (diff)
  by steveawodey? on June 4, 2018 at 15:49:26 from 131.220.249.30.
• Revision 1
  by Bas Spitters on June 4, 2018 at 08:51:35 from 131.220.249.212.