TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
A | |
Asynchronous interaction | |
axiomatic logic | |
B | |
binders | |
C | |
Canonical structures | |
computational reflection | |
Coq | |
Coq 8.5 | |
Coq/SSReflect | |
D | |
de Bruijn indices | |
E | |
Eclipse | |
Error-correcting codes | |
Explicit Substitutions | |
G | |
Gallina | |
H | |
Higher-order pattern unification | |
I | |
IDE | |
Information theory | |
interactive theorem proving | |
J | |
jEdit | |
L | |
Ltac | |
N | |
notations | |
P | |
Parallel computation | |
parallel substitutions | |
program verification | |
proof automation | |
Proof-Patterns | |
property based testing | |
Q | |
quickcheck | |
R | |
random testing | |
Recurrent Clustering | |
recursion | |
recursive tactics | |
Rewriting | |
S | |
SSReflect | |
strategies | |
T | |
tactics | |
typeclasses | |
U | |
Unification | |
universe polymorphism | |
universes |