October 2023 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Tue Oct 3 09:49:56 CEST 2023
Ending: Fri Oct 27 10:39:30 CEST 2023
Messages: 3

• [Om] OpenMath seminar Friday 3 November: Complex complex domains and self-documentation of formal mathematical properties   Lars Hellström
• [Om] Proposed Change of OpenMath Communication (please feedack)   Michael Kohlhase
• [Om] Upcoming OpenMath communication   Lars Hellström

Last message date: Fri Oct 27 10:39:30 CEST 2023
Archived on: Mon Oct 30 11:32:06 CET 2023

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...