Homotopy Type Theory
Events (history)

September 8, 2021

Current (diff)
by Anonymous? on September 8, 2021 at 05:42:47.

June 15, 2021

Revision 23 (diff)
by Anonymous? on June 15, 2021 at 08:17:50.

January 25, 2021

Revision 22 (diff)
by Nicolas Tabareau? on January 25, 2021 at 12:56:36.

May 22, 2020

Revision 21 (diff)
by Robin Adams? on May 22, 2020 at 11:23:41.

May 13, 2020

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

April 6, 2020

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

March 23, 2020

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

March 21, 2020

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

March 7, 2020

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

February 12, 2020

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

February 10, 2020

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

January 24, 2020

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

January 22, 2020

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

August 18, 2019

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

December 21, 2018

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

September 25, 2018

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

July 4, 2018

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

June 4, 2018

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