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.
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.