TY  - RPRT
TI  - Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
AU  - Jonas Bayer
AU  - Aleksey Gonus
AU  - Christoph Benzmüller
AU  - Dana S. Scott
PY  - 2023
DO  - 10.1007/978-3-031-42753-4_5
UR  - https://arxiv.org/abs/2306.09074
ID  - 2306.09074
ER  -