[isabelle-dev] NEWS: update of external provers

Makarius makarius at sketis.net
Thu Oct 29 17:50:50 CET 2020

The general situation of external provers, notably for the coming Isabelle
release, is now formally documented here:

A less cryptic path to this information is https://isabelle-dev.sketis.net /
"Tasks" / "Tag: provers".


More information about the isabelle-dev mailing list