Binary logical relations library for the Coq proof assistant
Primary LanguageCoqOtherNOASSERTION
This repository is not active