coqrel

Binary logical relations library for the Coq proof assistant

GitHub

20 stars
8 watching
1 forks
Language: Coq
last commit: 26 days ago

Screenshot of CertiKOS/coqrel website

certikos.github.io/coqrel/