IT305 > Proof assistants

created 1 October 2008 by pyg from last year
, last edition 16 December 2008
 normally in room I111 on Monday 2:00pm--4:00pm
from now on in room I107 on Tuesday from 1:50pm to 3:50pm

Resources

Sessions


2007-2008 | 2006-2007 | 2005-2006 | 2004-2005 | 2003-2004 | 2002-2003 | 2001-2002 | 2000-2001 | 1999-2000 archives
© Copyright 2001-3000 Paul Y Gloess