homotopy.io

https://homotopy.io

A proof assistant implementing the theory of associative n-categories