mekty2012 / Coq-Study

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