My work and solutions for Coq In a Hurry by Yves Bertot.
Primary LanguageCoq
No one’s star this repository yet.