TY  - JOUR

T1  - Single-set cubical categories and their formalisation with a proof assistant

JO  - Journal of Automated Reasoning

UR  - https://eprints.whiterose.ac.uk/id/eprint/218707

PY  - 2024/09/12

AU  - Malbos P

AU  - Massacrier T

AU  - Struth G

ED  - 

DO  - DOI: 10.1007/s10817-024-09710-9

PB  - Springer Science and Business Media LLC

VL  - 68

IS  - 4

Y2  - 2025/11/13

ER  -