Some exercises from software foundations: logical foundations
Primary LanguageCoqMIT LicenseMIT
This repository is not active