jwiegley/category-theory

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

jwiegley/category-theory

08/05/2017

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



VIEW MORE

Recent

Git hunter - best free github source code

Popular