8th International Workshop on User Interfaces for Theorem Provers

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.