Jonas Bayer | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Christoph Benzmüller
37 publications
Dana S. Scott
3 publications
Dierk Schleicher
3 publications
Benedikt Stock
3 publications
Lawrence Paulson
3 publications
Marco David
3 publications
Kevin Buzzard
2 publications
Leslie Lamport
2 publications
Efim Zelmanov
1 publication
Aleksey. Gonus
1 publication
Abhik Pal
1 publication

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...

0 Jonas Bayer, et al. ∙

research

∙ 07/08/2022

Mathematical Proof Between Generations

A proof is one of the most important concepts of mathematics. However, t...

0 Jonas Bayer, et al. ∙

research

∙ 06/23/2021

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

How difficult are interactive theorem provers to use? We respond by revi...

0 Jonas Bayer, et al. ∙