Homotopy Type Theory propositional logic > history (history)

October 14, 2022

• Current (diff)
  by Anonymous? on October 14, 2022 at 20:17:28.
• Revision 4 (diff)
  by Anonymous? on October 14, 2022 at 14:48:42.
• Revision 3 (diff)
  by Anonymous? on October 14, 2022 at 13:59:43.
• Revision 2 (diff)
  by Anonymous? on October 14, 2022 at 04:22:16.
• Revision 1
  by Anonymous? on October 14, 2022 at 02:50:40.