/software-foundations

Solutions (in Coq) of the exercises in the software foundation books.

Primary LanguageHTMLGNU General Public License v3.0GPL-3.0

Issues