cat
cat copied to clipboard
Published
20 hours ago •
fredefox
fredefox
A formalization of category theory in cubical Agda
Results
0
cat issues
Sort by
recently updated
recently updated
newest added