Chapters with resolved exercises from the first volumen Logical Foundations of the series Software Foundations
Primary LanguageCoq
This repository is not active