FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

Shortcuts: ACDEFGLMNPRST
A
Automated Algebraic Reasonings
C
completion
Coq
Coq library
D
deep embedding
DSL
E
exchange rule
extraction
F
finite multisets
Formal Library
formal proofs
G
Guard Condition
L
linear logic
M
Machine Learning
Monads
N
Notation
P
Parametricity
permutations
pretty printing
proof engineering
Proof search
R
Real Analysis
recursion
S
side conditions
T
Tactics
term rewriting systems