Stream: General

Topic: Retrieving proof state via Isabelle/Scala

Milan Tom (Mar 06 2025 at 06:30):

If I have a headless session and directly update the document with some edits, how can I retrieve the current proof state of the document using Isabelle/Scala?

Last updated: Dec 28 2025 at 02:03 UTC