Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation

Bayer, JonasJonasBayerGonus, AlexeyAlexeyGonusBenzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Scott, Dana S.Dana S.Scott2023-09-052023-09-05202397830314275279783031427534https://fis.uni-bamberg.de/handle/uniba/90343engCategory Theory in Isabelle/HOL as a Basis for Meta-logical Investigationconferenceobject10.1007/978-3-031-42753-4_5https://link.springer.com/content/pdf/10.1007/978-3-031-42753-4_5