amintimany / Categories

A formalization of category theory in the Coq proof assistant.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

amintimany/Categories Stargazers