All Git Users → fredefox

1 open source projects by fredefox

[ Open user page on Github ]

A formalization of category theory in cubical Agda

✭ 50

Agda Makefile category-theory agda homotopy-type-theory

1-1 of 1 user projects