HomeIsabelle/Phabricator
Phame Blogs Isabelle NEWS J24
Update external prover components for Sledgehammer etc.

System

  • Update/rebuild external provers on currently supported OS platforms, notably E prover 2.5, SPASS 3.8ds, CSDP 6.1.1.

This refers e.g. to Isabelle/b5f7fc7d2323.

Previous Post
Include veriT component for "smt" method
Next Post
Experimental support for arm64-linux platform
Written by makarius on Oct 19 2020, 5:02 PM.
User
Projects
None
Subscribers
None

Event Timeline