GitHub repository: tuura/build-systems-in-coq
Primary language: TeX
Description: Build Systems à la Carte formalised in Coq.