Email Gateway (Aug 22 2022 at 12:53): Email Gateway (Aug 22 2022 at 12:53):From: Lawrence Paulson <lp15@cam.ac.uk>
All past versions of Isabelle are available here:
http://www.cl.cam.ac.uk/~lp15/archive/
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.
Larry Paulson
Email Gateway (Aug 22 2022 at 13:04):From: Mario Carneiro <di.gama@gmail.com>
Hello all,
The prime number theorem exists at
http://www.andrew.cmu.edu/user/avigad/isabelle/NumberTheory/PrimeNumberTheorem.html
, 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?
Mario
Last updated: Apr 25 2024 at 12:23 UTC