[isabelle-dev] Proven support for Linux ARM64

Lawrence Paulson lp15 at cam.ac.uk
Wed Feb 14 13:23:00 CET 2024

That picks up a further 428 occurrences 

> On 14 Feb 2024, at 12:09, Jasmin Blanchette <jasmin.blanchette at ifi.lmu.de> wrote:
> "smt(z3" occurs seldom because z3 is the default for "smt", so often it's omitted. (I believe it used to be omitted and now it's explicit.)

More information about the isabelle-dev mailing list