Homotopy Type Theory rational numbers > history (history)

June 17, 2022

• Current (diff)
  by Anonymous? on June 17, 2022 at 17:27:02.

June 16, 2022

• Revision 21 (diff)
  by Anonymous? on June 16, 2022 at 17:10:39.

June 15, 2022

• Revision 20 (diff)
  by Anonymous? on June 15, 2022 at 22:58:25.
• Revision 19 (diff)
  by Anonymous? on June 15, 2022 at 19:00:03.

May 4, 2022

• Revision 18 (diff)
  by Anonymous? on May 4, 2022 at 16:48:28.

April 23, 2022

• Revision 17 (diff)
  by Anonymous? on April 23, 2022 at 20:12:48.

April 14, 2022

• Revision 16 (diff)
  by Anonymous? on April 14, 2022 at 14:53:12.

March 31, 2022

• Revision 15 (diff)
  by Anonymous? on March 31, 2022 at 04:28:04.

March 22, 2022

• Revision 14 (diff)
  by Anonymous? on March 22, 2022 at 17:05:07.

March 15, 2022

• Revision 13 (diff)
  by Anonymous? on March 15, 2022 at 06:36:06.

March 12, 2022

• Revision 12 (diff)
  by Anonymous? on March 12, 2022 at 05:54:14.
• Revision 11 (diff)
  by Anonymous? on March 12, 2022 at 02:42:07.

February 27, 2022

• Revision 10 (diff)
  by Anonymous? on February 27, 2022 at 17:46:56.
• Revision 9 (diff)
  by Anonymous? on February 27, 2022 at 09:13:54.
• Revision 8 (diff)
  by Anonymous? on February 27, 2022 at 05:46:15.
• Revision 7 (diff)
  by Anonymous? on February 27, 2022 at 04:37:31.

February 26, 2022

• Revision 6 (diff)
  by Anonymous? on February 26, 2022 at 21:00:50.
• Revision 5 (diff)
  by Anonymous? on February 26, 2022 at 18:15:48.
• Revision 4 (diff)
  by Anonymous? on February 26, 2022 at 15:51:54.
• Revision 3 (diff)
  by Anonymous? on February 26, 2022 at 14:36:59.
• Revision 2 (diff)
  by Anonymous? on February 26, 2022 at 13:49:06.
• Revision 1
  by Anonymous? on February 26, 2022 at 06:44:29.