VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

A
Asyncrhonous Interaction	PIDE for Asynchronous Interaction with Coq
C
certification	The Certification Problem Format
Coq	PIDE for Asynchronous Interaction with Coq
F
Focus Groups	How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers
G
generic	A Logic-Independent IDE
Graphical user interface	Tinker, tailor, solver, proof
I
Interactive Theorem Provers	How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers
Isabelle	System description: Isabelle/jEdit in 2014
J
jEdit	PIDE for Asynchronous Interaction with Coq System description: Isabelle/jEdit in 2014
L
logic	A Logic-Independent IDE
M
MMT	A Logic-Independent IDE
P
PIDE	PIDE for Asynchronous Interaction with Coq
Proof strategy language	Tinker, tailor, solver, proof
proof theory	Advanced Proof Viewing in PROOFTOOL
Prover IDE	System description: Isabelle/jEdit in 2014
S
sequent calculus	Advanced Proof Viewing in PROOFTOOL
Sunburst Tree	Advanced Proof Viewing in PROOFTOOL
T
term rewriting	The Certification Problem Format
theorem provers	UTP2: Higher-Order Equational Reasoning by Pointing
Tool paper	Tinker, tailor, solver, proof
U
unifying theories of programming	UTP2: Higher-Order Equational Reasoning by Pointing
Usability	How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers
user interface	A Logic-Independent IDE
user interfaces	UTP2: Higher-Order Equational Reasoning by Pointing
V
visualization	Advanced Proof Viewing in PROOFTOOL
X
XML	The Certification Problem Format

Disclaimer | Powered by EasyChair Smart Program