A Coq formalization of De Bruijn's weak diamond property. My bachelor's thesis.
Primary LanguageCoq
No issues in this repository yet.