Computer science undergraduates learning logic using a proof editor: work in progress

Work in Progress
James Aczel; Pat Fung; Richard Bornat; M. Oliver; Tim O'Shea; B. Sufrin
Type of Publication: Paper
Conference: PPIG 1999 - 11th Annual Workshop
Publication Year: 1999
Paper #: 15
TitleComputer science undergraduates learning logic using a proof editor: work in progress
Publication TypePaper
AuthorsAczel, J, Fung, P, Bornat, R, Oliver, M, O'Shea, T, Sufrin, B
PPIG Workshop: 
1999-01-11th