Options
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
Bayer, Jonas; Gonus, Aleksey; Benzmüller, Christoph; u. a. (2023): Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation. arXiv doi: 10.48550/arxiv.2306.09074.
Faculty/Professorship:
Author:
Publisher Information:
Year of publication:
2023
Pages:
Language:
English
Type:
Preprint
published:
March 25, 2024
Permalink
https://fis.uni-bamberg.de/handle/uniba/94459