Globular: an online proof assistant for higher−dimensional rewriting
Krzysztof Bar‚ Aleks Kissinger and Jamie Vicary
Book Title
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD)
Year
2016
Krzysztof Bar‚ Aleks Kissinger and Jamie Vicary