research
∙
06/15/2023
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
This paper presents meta-logical investigations based on category theory...
share
research
∙
07/08/2022
Mathematical Proof Between Generations
A proof is one of the most important concepts of mathematics. However, t...
research
∙
06/23/2021
