Jonas Bayer | Faculty of Mathematics

skip to content

Publications

A Formal Proof of Complexity Bounds on Diophantine Equations

J Bayer, M David

(2025)

(link to publication)

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

J Bayer, A Gonus, C Benzmüller, DS Scott

(2023)

(link to publication)

Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle

J Bayer, M David, A Pal, B Stock

(2021)

(link to publication)