Globular: an online proof assistant for higher-dimensional rewriting (Q3130548)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Globular: an online proof assistant for higher-dimensional rewriting |
scientific article |
Statements
23 January 2018
0 references
cs.LO
0 references
math.CT
0 references