This repository is not active
JasonGross/18.S996-coq
Some partial work on formalizing concepts from MIT's 18.S996 - Category theory for scientists, in Coq
Coq
Some partial work on formalizing concepts from MIT's 18.S996 - Category theory for scientists, in Coq
Coq
This repository is not active