September 2019 Archives by author

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

Starting: Tue Sep 17 17:33:08 CEST 2019
Ending: Tue Sep 17 17:33:08 CEST 2019
Messages: 1

• [Club2] Invitation: Verified Decision Procedures for Orders in Isabelle/HOL @ Fri Sep 20, 2019 11:30 - 12:15 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com

Last message date: Tue Sep 17 17:33:08 CEST 2019
Archived on: Tue Sep 17 17:33:13 CEST 2019

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