Welcome to the online reference for our LFMTP2014 paper titled
"A Generic Approach to Proofs about Substitution"
The Coq sources are available at our github repository .
This page is a semantic index for the above collection of files.
For an index of proofs mentioned in the paper, visit:
- 05/17/2014: We now have a web-interface which can be used to
lookup our Coq definitions by name.