						Session 8
IT305	>	Proof assistants	>	PVS	>	Session 9
						Soutenance

created by pyg on 16 December 2008, last edition 7 December 2009

Mini-project work and questions

see IT304-IT305 forum.

CNAM

see Session 8.

Coq announcement

Paul Brauner from LORIA/INRIA, will have given an introduction to this beautiful proof assistant on Thursday 10 December 2009:

IT304 Session 7.

Back to Top.

© Copyright 2004-3000 Paul Y Gloess