Aleksey Gonus

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Publications

Jonas Bayer, Aleksey Gonus, Christoph Benzmüller, Dana S. Scott
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation. CoRR (2023)