This is your work, valued
homotopy.io
Advanced@homotopy-io
A proof assistant implementing the theory of associative n-categories
views searches
This is your work, valued
A proof assistant implementing the theory of associative n-categories