The Coq mailing list

[Andrew Adams <aaa AT dcs.st-and.ac.uk>]

Dear All,

I've been hearing word of a development of the real numbers and real analysis 
in Coq for the last few months, but I can't find any concrete references to
the work. Can someone provide a pointer to any published or unpublished 
research papers on this, or even just the contact name of the developer?
We've been developing real analysis in PVS and there've been a number of
other provers with real number/analysis developments recently and I'm
trying to keep up with them.


-- 
*E-mail*aaa AT dcs.st-and.ac.uk*******
  Dr Andrew A Adams
**snail*30 Woodburn Terrace********  School of Comp Sci
***mail*St Andrews KY16 8BA, UK****  University of St Andrews
****Tel*+44-1334-470013/463268*****  St Andrews KY16 9SS
(Soon to be at the University of Reading).