This project is read-only.
1
Vote

No backend handles STRING

description

No backend is currently able to prove

LEMMA "a" \in STRING
OBVIOUS

The Isabelle backend has a definition of STRING, but the constant is currently called String, and no automation is set up for it. The other backends do not know about STRING.

comments