![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
9th UITP 2010: Edinburgh, UK
- David Aspinall, Claudio Sacerdoti Coen:
Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, UITP 2010, Edinburgh, UK, July 15, 2010. Electronic Notes in Theoretical Computer Science 285, Elsevier 2012 - David Aspinall, Claudio Sacerdoti Coen
:
Preface. 1-2 - Holger Gast:
Engineering the Prover Interface. 3-16 - Vladimir Komendantsky, Alexander Konovalov
, Steve Linton:
Interfacing Coq + SSReflect with GAP. 17-28 - Andrei Lapets
, Assaf J. Kfoury:
A User-friendly Interface for a Lightweight Verification System. 29-41 - Tuan-Minh Pham, Yves Bertot:
A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs. 43-55 - John K. Slaney:
Visualising Reasoning: What ATP Can Learn From CP. 57-70 - Carst Tankink
, Herman Geuvers, James McKinna:
Narrating Formal Proof (Work in Progress). 71-83 - Freek Wiedijk:
Pollack-inconsistency. 85-100 - Makarius Wenzel:
Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit. 101-114 - Laura I. Meikle, Jacques D. Fleuriot
:
Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Prover's Palette. 115-119
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.