TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
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 |