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: Apr 05 2025 at 20:19 UTC