Electronic Notes in Theoretical Computer Science, Volume 285
Volume 285, September 2012
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team