Single-Set Cubical Categories and Their Formalisation with a Proof Assistant.
Saved in:
| Title: | Single-Set Cubical Categories and Their Formalisation with a Proof Assistant. |
|---|---|
| Authors: | Malbos, Philippe1, malbos@math.univ-lyon1.fr, Massacrier, Tanguy1, Struth, Georg2 |
| Source: | Journal of Automated Reasoning; Dec2024, Vol. 68 Issue 4, p1-32, 32p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01687433 |
|---|---|
| DOI: | 10.1007/s10817-024-09710-9 |
