GitHub repository: Baumgratz/Coq_Learning
Primary language: Coq
Description: Base in exercices on the link ( https://rodrigogribeiro.github.io/year-archive/ )