A comparison of HOL and ALF formalizations of a categorical coherence theorem
From MaRDI portal
Publication:6567701
DOI10.1007/bfb0105394zbMath1543.68413MaRDI QIDQ6567701
Ilya Beylin, Sten Agerholm, Peter Dybjer
Publication date: 5 July 2024
Formalization of mathematics in connection with theorem provers (68V20) Monoidal categories, symmetric monoidal categories (18M05)
This page was built for publication: A comparison of HOL and ALF formalizations of a categorical coherence theorem
