Isabelle/788f11af9822 provides a component for E prover 3.0.03, for all platforms, including arm64-linux and arm64-darwin. It is not yet activated in Admin/components/main: I am waiting for the verdict by Sledgehammer experts. Makarius