This repository sourceforge for Coq study held in 2020 Summer, KAIST mathematical problem solving club.
Primary LanguageCoqMIT LicenseMIT