cbenzmueller
Christoph Benzmüller is full professor at the Otto-Friedrich-University Bamberg (Germany) and also adjunct professor at Freie Universität Berlin (Germany)
Otto-Friedrich-Universität BambergBamberg
Pinned Repositories
30YearsOfTPTP
BoolosCuriousInference-ATP
cbenzmueller.github.io
Teaching Repository of Christoph Benzmueller
Encyclopedia
An Open Encyclopedia of Proof Systems
LogiKEy
LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths
TypesTableauxAndGoedelsGod
Formalization of Melvin Fitting's Textbook from 2002 in Isabelle/HOL; A semantical embedding in HOL is employed.
GoedelGod
Formalizations of Gödel's Ontological Proof of God's Existence
Leo-III
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
LeoPARD
Leo's Parallal ARchitecture & Datastructures (LeoPARD)
cbenzmueller's Repositories
cbenzmueller/LogiKEy
LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths
cbenzmueller/cbenzmueller.github.io
Teaching Repository of Christoph Benzmueller
cbenzmueller/Encyclopedia
An Open Encyclopedia of Proof Systems
cbenzmueller/30YearsOfTPTP
cbenzmueller/BoolosCuriousInference-ATP
cbenzmueller/TypesTableauxAndGoedelsGod
Formalization of Melvin Fitting's Textbook from 2002 in Isabelle/HOL; A semantical embedding in HOL is employed.