February 2012 Archives by author

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

Starting: Mon Feb 20 21:08:28 CET 2012
Ending: Fri Feb 24 23:09:53 CET 2012
Messages: 2

• [Matita] ITP 2013: final call for bids   Lennart Beringer
• [Matita] ETAPS Workshop on Automation in Proof Assistants (31 Mar - 1 Apr 2012)   Hugo Herbelin

Last message date: Fri Feb 24 23:09:53 CET 2012
Archived on: Fri Feb 24 23:09:58 CET 2012

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