Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: A B C D E G H I J L N P Q R S T U

A
Asynchronous interaction	Asynchronous interaction for Coq
axiomatic logic	Automating Abstract Logics
B
binders	Presentation of Three Neat Tricks in Coq 8.5
C
Canonical structures	Towards a better-behaved unification algorithm for Coq
computational reflection	Automating Abstract Logics
Coq	Coqoon: towards a modern IDE for Coq Towards a better-behaved unification algorithm for Coq Autosubst: Automation for de Bruijn Substitutions QuickChick: Property-Based Testing for Coq
Coq 8.5	Presentation of Three Neat Tricks in Coq 8.5
Coq/SSReflect	Proof-Pattern Search in Coq/SSReflect
D
de Bruijn indices	Autosubst: Automation for de Bruijn Substitutions
E
Eclipse	Coqoon: towards a modern IDE for Coq
Error-correcting codes	Formalization of Error-correcting Codes using SSReflect
Explicit Substitutions	Autosubst: Automation for de Bruijn Substitutions
G
Gallina	Presentation of Three Neat Tricks in Coq 8.5
H
Higher-order pattern unification	Towards a better-behaved unification algorithm for Coq
I
IDE	Coqoon: towards a modern IDE for Coq
Information theory	Formalization of Error-correcting Codes using SSReflect
interactive theorem proving	Coqoon: towards a modern IDE for Coq
J
jEdit	Asynchronous interaction for Coq
L
Ltac	Presentation of Three Neat Tricks in Coq 8.5
N
notations	Presentation of Three Neat Tricks in Coq 8.5
P
Parallel computation	Asynchronous interaction for Coq
parallel substitutions	Autosubst: Automation for de Bruijn Substitutions
program verification	Automating Abstract Logics
proof automation	Towards a better-behaved unification algorithm for Coq
Proof-Patterns	Proof-Pattern Search in Coq/SSReflect
property based testing	QuickChick: Property-Based Testing for Coq
Q
quickcheck	QuickChick: Property-Based Testing for Coq
R
random testing	QuickChick: Property-Based Testing for Coq
Recurrent Clustering	Proof-Pattern Search in Coq/SSReflect
recursion	Presentation of Three Neat Tricks in Coq 8.5
recursive tactics	Presentation of Three Neat Tricks in Coq 8.5
Rewriting	Proof-relevant rewriting strategies in Coq
S
SSReflect	Formalization of Error-correcting Codes using SSReflect
strategies	Proof-relevant rewriting strategies in Coq
T
tactics	Presentation of Three Neat Tricks in Coq 8.5
typeclasses	Presentation of Three Neat Tricks in Coq 8.5
U
Unification	Towards a better-behaved unification algorithm for Coq
universe polymorphism	Presentation of Three Neat Tricks in Coq 8.5
universes	Presentation of Three Neat Tricks in Coq 8.5 Proof-relevant rewriting strategies in Coq