Name: Christoph Benzmueller
Type: User
Company: Otto-Friedrich-Universität Bamberg
Bio: Christoph Benzmüller is full professor at the Otto-Friedrich-University Bamberg (Germany) and also adjunct professor at
Freie Universität Berlin (Germany)
Location: Bamberg
Blog: http://christoph-benzmueller.de
Christoph Benzmueller's Projects
Teaching Repository of Christoph Benzmueller
An Open Encyclopedia of Proof Systems
LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths
Formalization of Melvin Fitting's Textbook from 2002 in Isabelle/HOL; A semantical embedding in HOL is employed.