Homotopy Type Theory modulated Cauchy real numbers > history (history)

June 10, 2022

• Current (diff)
  by Anonymous? on June 10, 2022 at 00:07:56.

May 6, 2022

• Revision 11 (diff)
  by Anonymous? on May 6, 2022 at 15:39:22.

April 18, 2022

• Revision 10 (diff)
  by Anonymous? on April 18, 2022 at 17:46:20.

April 14, 2022

• Revision 9 (diff)
  by Anonymous? on April 14, 2022 at 15:23:22.
• Revision 8 (diff)
  by Anonymous? on April 14, 2022 at 00:31:02.

April 13, 2022

• Revision 7 (diff)
  by Anonymous? on April 13, 2022 at 23:28:26.

March 21, 2022

• Revision 6 (diff)
  by Anonymous? on March 21, 2022 at 02:12:16.

March 20, 2022

• Revision 5 (diff)
  by Anonymous? on March 20, 2022 at 23:07:13.

March 12, 2022

• Revision 4 (diff)
  by Anonymous? on March 12, 2022 at 21:35:02.
• Revision 3 (diff)
  by Anonymous? on March 12, 2022 at 09:37:44.
• Revision 2 (diff)
  by Anonymous? on March 12, 2022 at 02:36:33.
• Revision 1
  by Anonymous? on March 12, 2022 at 01:48:40.