| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Christoph Benzmüller
| Website: http://christoph-benzmueller.de |
Entries
| 2018 |
| October 30: Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL |
| May 23: Axiom Systems for Category Theory in Free Logic |
| 2017 |
| September 21: Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument |
| May 1: Types, Tableaus and Gödel’s God in Isabelle/HOL |
| 2013 |
| November 12: Gödel's God in Isabelle/HOL |