Ateliers et environnements de preuve -- Proof assistants -- 2006-2007

Ateliers et environnements de preuve
Proof assistants
IT305
normally in room I111 on Monday 1:50pm--3:50pm

created 26 October 2006, from last year
last edition 4 December 2006

Planning (check official edt | semi-official GL eirb'elec)
Library ("médiathèque" for proof assistants)
PVS and its exercises
Coq
Mini-Project deadline ??
2005-2006 | 2004-2005 | 2003-2004 | 2002-2003 | 2001-2002 | 2000-2001 | 1999-2000 archives

Contents