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
Contents
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
© Copyright 2001-3000
Paul Y Gloess