@article{article, title = {{Single-Set Cubical Categories and Their Formalisation with a Proof Assistant}}, publisher = {{Springer Science and Business Media LLC}}, url = {{http://dx.doi.org/10.1007/s10817-024-09710-9 }}, year = {{2024}}, month = {{9}}, author = {{Malbos P and Massacrier T and Struth G}}, doi = {{10.1007/s10817-024-09710-9}}, volume = {{68}}, journal = {{Journal of Automated Reasoning}}, issue = {{4}}, note = {{Accessed on 2025/03/14}}}