March 2016 Archives by thread

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

Starting: Fri Mar 11 16:36:58 CET 2016
Ending: Wed Mar 23 13:34:31 CET 2016
Messages: 2

• [Club2] Invitation: Formale Beweise von Suchbauminvarianten @ Wed Mar 16, 2016 14:00 - 14:30 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Automation and Computation in the Lean Theorem Prover @ Wed Mar 30, 2016 14:30 - 15:15 (Club2)   julianbrunner at gmail.com

Last message date: Wed Mar 23 13:34:31 CET 2016
Archived on: Wed Mar 23 13:34:44 CET 2016

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