GitHub repository: CertiKOS/coqrel
Primary language: Coq
Description: Binary logical relations library for the Coq proof assistant