TY  - RPRT
TI  - Globular: an online proof assistant for higher-dimensional rewriting
AU  - Krzysztof Bar
AU  - Aleks Kissinger
AU  - Jamie Vicary
PY  - 2018
DO  - 10.23638/lmcs-14(1:8)2018
UR  - https://arxiv.org/abs/1612.01093
ID  - 1612.01093
ER  -