Re: Journals submissions
- --- In email@example.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.
for the proof of Fermat's litle theorem, you may judge for
yourself how easy (or otherwise) HOL-light is to use.
- I thought you needed some kind of reference from some upstanding member of the mathematical establishment, for that one....
--- In firstname.lastname@example.org, "djbroadhurst" <d.broadhurst@...> wrote:
> --- In email@example.com,
> "ianredwood" <ianredwood@> asked:
> > Can anyone point me towards any worthwhile preprint
> > servers for papers in number theory?