catt
catt copied to clipboard
Published
20 hours ago •
smimram
smimram
An infinity-categorical coherence typechecker
Results
0
catt issues
Sort by
recently updated
recently updated
newest added