December 2016 Archives by thread

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

Starting: Fri Dec 23 18:48:41 CET 2016
Ending: Fri Dec 23 18:48:41 CET 2016
Messages: 1

• [Club2] Invitation: Dependent Types -- Looking from Isabelle towards Lean @ Wed Jan 11, 2017 14:00 - 15:00 (CET) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com

Last message date: Fri Dec 23 18:48:41 CET 2016
Archived on: Fri Dec 23 18:49:01 CET 2016

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