Posted by Marcus G. Daniels on Jan 08, 2014; 6:22pm URL: http://friam.383.s1.nabble.com/11-American-Nations-tp7584250p7584678.html
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...
============================================================
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