June 2020 Archives by thread

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

Starting: Sun Jun 21 13:31:56 CEST 2020
Ending: Tue Jun 23 15:16:46 CEST 2020
Messages: 2

• [Club2] Invitation: Specialized mathematical proof procedures in Isabelle/HOL @ Wed Jun 24, 2020 14:00 - 14:25 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Updated invitation: Specialized mathematical proof procedures in Isabelle/HOL @ Wed Jun 24, 2020 14:00 - 14:25 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com

Last message date: Tue Jun 23 15:16:46 CEST 2020
Archived on: Tue Jun 23 15:16:50 CEST 2020

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