Technical Report No. 189 - Abstract
David: L�th Aspinall
Proceedings of the International Workshop on User Interfaces for Theorem Provers UITP 03
This informal proceedings contains the papers and system descriptions presented at the User Interfaces for Theorem Provers 2003 Workshop, at the Universiy "La Sapienza", Rome,Italy, in conjunction with the TPHOLs conference.
Report No. 189 (PostScript)