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