FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

Shortcuts: CDFGHIJLMNPRSTUV
C
chat bot
Controlled Natural Language
D
Deductive interactive program verification
direct-manipulation interaction
F
first-order logic
focused sequent calculus
G
generic proof assistant
H
higher-order logic programming
I
interactive theorem prover
Isabelle
J
jEdit
L
lambda-prolog
M
Mathematical language
N
Natural language
P
proof assistant
Proof checking
Proof compression
Prover IDE
R
resolution
S
simple proof assistant
T
TCP server
text-based interaction
U
unification
user interface
V
VSCode