A literate formalization of categories with families in cubical agda.

Go to file

Rachel Lambda Samuelsson 41339d381d README.md: add version info		2022-10-06 11:31:00 +02:00
src	Began initial work	2022-10-06 00:05:15 +02:00
.gitignore	Began initial work	2022-10-06 00:05:15 +02:00
README.md	README.md: add version info	2022-10-06 11:31:00 +02:00
cwfs.agda-lib	Began initial work	2022-10-06 00:05:15 +02:00

CwFs

A formalization of CwFs in cubical agda using the 1Lab as a library.

Dependencies