GitHub repository: sarvex/exercism-coq
Description: Exercism exercises in Coq.