https://arxiv.org/src/1401.7694v2/anc/HoTT/coq-HoTT/dev/tools/ Makefile.dir
Experience Implementing a Performant Category-Theory Library in Coq
HoTT/coq-HoTT/dev/tools/Makefile.dir
arxiv.org
dir
3.1KB