"Globular: An Online Proof Assistant for Higher-Dimensional Rewriting."

Krzysztof Bar, Aleks Kissinger, Jamie Vicary (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics