/18.905-coq

Some partial work on formalizing concepts from MIT's 18.905 - Algebraic Topology I, in Coq

Primary LanguageCoq

This repository is not active