[isabelle-dev] Poly/ML x86_64_32 available for testing

Lawrence Paulson lp15 at cam.ac.uk
Tue Jan 22 12:40:20 CET 2019


Looks impressive. Thanks!
Larry

> On 22 Jan 2019, at 11:27, Makarius <makarius at sketis.net> wrote:
> 
> Here are some performance measurements on the best hardware that I have
> presently access to (not at TUM):




More information about the isabelle-dev mailing list