jwiegley/category-theory

Handpicked best gits and free source code on github daily updated (almost)

jwiegley/category-theory

By
A formalization of category theory in Coq for personal study and practical work 199

jwiegley/category-theory



VIEW MORE

Git hunter - best free github source code