Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] e-3.0.03 available for testing

view this post on Zulip Email Gateway (Mar 01 2024 at 20:43):

From: Makarius <makarius@sketis.net>
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

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Last updated: Feb 01 2025 at 20:19 UTC