Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 2 of 2
adding reference * [[Krzysztof Bar]], [[Aleks Kissinger]], [[Jamie Vicary]]. *Globular: an online proof assistant for higher-dimensional rewriting*, Logical Methods in Computer Science, January 22, 2018, Volume 14, Issue 1 - ([doi:10.23638/LMCS-14(1:8)2018](https://doi.org/10.23638/LMCS-14(1:8)2018), [arXiv:1612.01093](https://arxiv.org/abs/1612.01093)) Anonymous <a href="https://ncatlab.org/nlab/revision/diff/Jamie+Vicary/7">diff</a>, <a href="https://ncatlab.org/nlab/revision/Jamie+Vicary/7">v7</a>, <a href="https://ncatlab.org/nlab/show/Jamie+Vicary">current</a>
adding reference
Anonymous
diff, v7, current
I have added cross-link with our entry *[[Globular]]* <a href="https://ncatlab.org/nlab/revision/diff/Jamie+Vicary/8">diff</a>, <a href="https://ncatlab.org/nlab/revision/Jamie+Vicary/8">v8</a>, <a href="https://ncatlab.org/nlab/show/Jamie+Vicary">current</a>
I have added cross-link with our entry Globular
diff, v8, current