homotopy.io: a proof assistant for finitely-presented globular $n$-categories (Q6522672)
From MaRDI portal
scientific article; zbMATH DE number 902424450
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | homotopy.io: a proof assistant for finitely-presented globular $n$-categories |
scientific article; zbMATH DE number 902424450 |
Statements
homotopy.io: a proof assistant for finitely-presented globular $n$-categories (English)
0 references
1 January 1 CEGregorian
0 references
