On 1/8/14, 11:03 AM, glen e. p. ropella wrote:
Formalization, Mechanization and Automation of Gödel's Proof of God's Existence Christoph Benzmüller, Bruno Woltzenlogel Paleo http://arxiv.org/abs/1308.4526v4
And the Coq repository... https://github.com/FormalTheology/GoedelGod/tree/master/Formalizations/Coq ============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
