Solutions (in Coq) of the exercises in the software foundation books.
Primary LanguageHTMLGNU General Public License v3.0GPL-3.0