| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
David Fuenmayor
Entries
| 2018 |
| October 30: Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL |
| 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 |