Homotopy Type Theory an axiomatization of the real numbers > history (history)

June 19, 2022

• Current (diff)
  by Anonymous? on June 19, 2022 at 23:52:18.
• Revision 12 (diff)
  by Anonymous? on June 19, 2022 at 03:05:24.

June 18, 2022

• Revision 11 (diff)
  by Anonymous? on June 18, 2022 at 02:55:40.

June 17, 2022

• Revision 10 (diff)
  by Anonymous? on June 17, 2022 at 23:34:22.
• Revision 9 (diff)
  by Anonymous? on June 17, 2022 at 17:11:18.
• Revision 8 (diff)
  by Anonymous? on June 17, 2022 at 13:42:39.
• Revision 7 (diff)
  by Anonymous? on June 17, 2022 at 12:46:20.
• Revision 6 (diff)
  by Anonymous? on June 17, 2022 at 03:49:57.

June 16, 2022

• Revision 5 (diff)
  by Anonymous? on June 16, 2022 at 22:42:43.
• Revision 4 (diff)
  by Anonymous? on June 16, 2022 at 18:02:57.

June 15, 2022

• Revision 3 (diff)
  by Anonymous? on June 15, 2022 at 22:28:09.

June 10, 2022

• Revision 2 (diff)
  by Anonymous? on June 10, 2022 at 16:23:57.

April 22, 2022

• Revision 1
  by Anonymous? on April 22, 2022 at 08:40:17.