@misc{indiciae7ecd54798e47,
  title = {Globular: an online proof assistant for higher-dimensional rewriting},
  author = {Krzysztof Bar and Aleks Kissinger and Jamie Vicary},
  year = {2018},
  doi = {10.23638/lmcs-14(1:8)2018},
  url = {https://arxiv.org/abs/1612.01093},
  note = {Source identifier: 1612.01093}
}