/18.S996-coq

Some partial work on formalizing concepts from MIT's 18.S996 - Category theory for scientists, in Coq

Primary LanguageCoq

This repository is not active