Globular: an online proof assistant for higher-dimensional rewriting (Leibniz International Proceedings in Informatics, 2016)

(untitled) - Vicary, J; Kissinger, A; Bar, K