My solution of《software fundations I》,some proof may be trivial...
Primary LanguageCoqMIT LicenseMIT
No issues in this repository yet.