homotopy.io

A proof assistant implementing the theory of associative n-categories