Email Gateway (Aug 19 2022 at 13:53): Email Gateway (Aug 19 2022 at 13:53):From: lyj238 <lyj238@gmail.com>
Dear Isabelle experts:
My proof script is rather big, and Isabelle is used as a back-end to check the proof script.
I want to run Isabelle in batch model, and just want to Isabelle tell me the proof checking result.
If there is no error, Isabelle tell me Yes, otherwise, I need the first line where error occurs.
regards!
yongjian Li
2014-03-02
lyj238
Email Gateway (Aug 19 2022 at 13:54):From: Makarius <makarius@sketis.net>
See the "Isabelle System" manual on "isabelle tty" and "isabelle build",
which are command-line tools. Your proofs must be really really big, if
they won't go through interactively in Isabelle/jEdit.
Makarius
Last updated: Nov 21 2024 at 12:39 UTC