• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 61 matches

• 2017
• 
  Serge Autexier, Pedro Quaresma:
  Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP 2016, Coimbra, Portugal, 2nd July 2016. EPTCS 239, 2017 [contents]
• 2016
• 
  Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot:
  jsCoq: Towards Hybrid Theorem Proving Interfaces. UITP 2016: 15-27
• 
  Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout:
  AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo. UITP 2016: 1-13
• 
  Sven Linker, Jim Burton, Mateja Jamnik:
  Tactical Diagrammatic Reasoning. UITP 2016: 29-42
• 
  Martin Ring, Christoph Lüth:
  Interactive Proof Presentations with Cobra. UITP 2016: 43-52
• 2014
• 
  Bernhard Beckert, Sarah Grebing, Florian Böhl:
  How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers. UITP 2014: 4-13
• 
  Andrew Butterfield:
  UTP2: Higher-Order Equational Reasoning by Pointing. UITP 2014: 14-22
• 
  Gudmund Grov, Aleks Kissinger, Yuhui Lin:
  Tinker, tailor, solver, proof. UITP 2014: 23-34
• 
  Tomer Libal, Martin Riener, Mikheil Rukhaia:
  Advanced Proof Viewing in ProofTool. UITP 2014: 35-47
• 
  Florian Rabe:
  A Logic-Independent IDE. UITP 2014: 48-60
• 
  Christian Sternagel, René Thiemann:
  The Certification Problem Format. UITP 2014: 61-72
• 
  Carst Tankink:
  PIDE for Asynchronous Interaction with Coq. UITP 2014: 73-83
• 
  Makarius Wenzel:
  System description: Isabelle/jEdit in 2014. UITP 2014: 84-94
• 
  Christoph Benzmüller, Bruno Woltzenlogel Paleo:
  Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, UITP 2014, Vienna, Austria, 17th July 2014. EPTCS 167, 2014 [contents]
• 2013
• 
  Cezary Kaliszyk, Christoph Lüth:
  Proceedings 10th International Workshop On User Interfaces for Theorem Provers, UITP 2012, Bremen, Germany, July 11th, 2012. EPTCS 118, 2013 [contents]
• 2012
• 
  Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo:
  PROOFTOOL: a GUI for the GAPT Framework. UITP 2012: 1-14
• 
  Carst Tankink:
  Proof in Context - Web Editing with Rich, Modeless Contextual Feedback. UITP 2012: 42-56
• 
  Makarius Wenzel:
  READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking. UITP 2012: 57-71
• 
  Wolfgang Windsteiger:
  Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System. UITP 2012: 72-82
• 
  Ekaterina Komendantskaya, Jónathan Heras, Gudmund Grov:
  Machine Learning in Proof General: Interfacing Interfaces. UITP 2012: 15-41
• 
  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 [contents]
• 2010
• 
  David Aspinall, Claudio Sacerdoti Coen:
  Preface. UITP 2010: 1-2
• 
  Holger Gast:
  Engineering the Prover Interface. UITP 2010: 3-16
• 
  Vladimir Komendantsky, Alexander Konovalov, Steve Linton:
  Interfacing Coq + SSReflect with GAP. UITP 2010: 17-28
• 
  Andrei Lapets, Assaf J. Kfoury:
  A User-friendly Interface for a Lightweight Verification System. UITP 2010: 29-41
• 
  Laura I. Meikle, Jacques D. Fleuriot:
  Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Prover's Palette. UITP 2010: 115-119
• 
  Tuan-Minh Pham, Yves Bertot:
  A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs. UITP 2010: 43-55
• 
  John K. Slaney:
  Visualising Reasoning: What ATP Can Learn From CP. UITP 2010: 57-70
• 
  Carst Tankink, Herman Geuvers, James McKinna:
  Narrating Formal Proof (Work in Progress). UITP 2010: 71-83
• 
  Makarius Wenzel:
  Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit. UITP 2010: 101-114

skipping 31 more matches