PPIG 1999 - 11th Annual Workshop
Computer Science Undergraduates Learning Logic Using a Proof Editor: Work in Progress
J. C. Aczel, P. Fung, R. Bornat, M. Oliver, T. O’Shea, B. Sufrin
PDF