The Coq mailing list

[roconnor AT theorem.ca]

I have summited a paper to TPHOLS 2005 discussing my work on formalizing
the incompleteness of artihmetic in coq.  Some people on this list may be
instrested in reading this paper.  You can retreive the latest edition of
my paper at <http://r6.ca/goedel1.html> or <http://r6.ca/goedel1.pdf>.

-- 
Russell O'Connor                                      <http://r6.ca/>
``All talk about `theft,''' the general counsel of the American Graphophone
Company wrote, ``is the merest claptrap, for there exists no property in
ideas musical, literary or artistic, except as defined by statute.''