- --- In primenumbers@yahoogroups.com,

"ianredwood" <ianredwood@...> wrote:

> I had heard (and perhaps there was a misreading here)

If you will look at Section 18.2 of the tutorial

> that HOL Light was a proof-checker.

http://www.cl.cam.ac.uk/~jrh13/hol-light/tutorial_220.pdf

for the proof of Fermat's litle theorem, you may judge for

yourself how easy (or otherwise) HOL-light is to use.

David - --- In primenumbers@yahoogroups.com,

"ianredwood" <ianredwood@...> asked:

> Can anyone point me towards any worthwhile preprint

http://arxiv.org/list/math.NT/recent

> servers for papers in number theory?

David - I thought you needed some kind of reference from some upstanding member of the mathematical establishment, for that one....

--- In primenumbers@yahoogroups.com, "djbroadhurst" <d.broadhurst@...> wrote:

>

>

>

> --- In primenumbers@yahoogroups.com,

> "ianredwood" <ianredwood@> asked:

>

> > Can anyone point me towards any worthwhile preprint

> > servers for papers in number theory?

>

> http://arxiv.org/list/math.NT/recent

>

> David

>