Single-Set Cubical Categories and Their Formalisation with a Proof Assistant. - Malbos, Philippe; Massacrier, Tanguy; Struth, Georg (Journal of Automated Reasoning, 2024)