Uni-Logo

Institut für Informatik
 

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)