]> 2012-02-10T01:04:41-05:00 User interfaces for portable proofs Portable proofs are a new and interesting way of integrating theorem provers into distributed environments like the web. This article reports on user interface’s challenges and opportunities for theorem provers in such environments. In particular, this article reports on the design of user interfaces used for searching, browsing and inspecting TSTP problems when published as portable proofs. inproceedings Proceedings of the 8th International Workshop On User Interfaces for Theorem Provers (UITP'08) silva2008user User Interfaces for Portable Proofs TW-2008-09 2008 Year Tr id Title Computer science Tag Inference web Relation Paper url Media:TW-2008-09.pdf Paper August Month Key Booktitle Bibtype Geoff Sutcliffe Cynthia Chang Li Ding Deborah L. McGuinness Nicholas Del Rio Paulo Pinheiro da Silva Author Montreal, Quebec, Canada Address Abstract TW Technical Report Publication Proceeding Paper Workshop Paper