Re: [isabelle] Prime number theorem for isabelle2016?
All past versions of Isabelle are available here:
However, I canât guarantee that you can find other necessary software to get them running again.
That version of the PNT seems to be lost to bit-rot, and the best hope is to finally port John Harrisonâs HOL Light version.
> On 30 Mar 2016, at 10:51, Mario Carneiro <di.gama at gmail.com> wrote:
> Hello all,
> The prime number theorem exists at
> , but it appears to not have been kept up to date (it was written for
> isabelle 2004). Is it on the AFP or in the library? Barring that, does
> Isabelle distribute old versions?
This archive was generated by a fusion of
Pipermail (Mailman edition) and