James-Oswald/Coq-In-A-Hurry

My work and solutions for Coq In a Hurry by Yves Bertot.

Coq