Homotopy Type Theory Proof Assistants > history (history)

June 15, 2022

• Current (diff)
  by Anonymous? on June 15, 2022 at 18:39:55.

June 3, 2021

• Revision 6 (diff)
  by Robin Adams? on June 3, 2021 at 11:34:28.

November 18, 2019

• Revision 5 (diff)
  by Anonymous? on November 18, 2019 at 14:40:21.

August 25, 2018

• Revision 4 (diff)
  by Anonymous? on August 25, 2018 at 23:40:11.

August 6, 2018

• Revision 3 (diff)
  by Jon Sterling? on August 6, 2018 at 19:46:36.

March 29, 2018

• Revision 2 (diff)
  by Mike Shulman on March 29, 2018 at 16:06:26.

March 25, 2018

• Revision 1
  by Mike Shulman on March 25, 2018 at 14:53:41.