[isabelle-dev] e-3.0.03 available for testing

Makarius makarius at sketis.net
Fri Mar 1 21:43:27 CET 2024

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.


More information about the isabelle-dev mailing list