Looks impressive. Thanks!
Larry

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

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to