Examples of usages of the Coq coinduction library
Primary LanguageCoqOtherNOASSERTION
No issues in this repository yet.