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: Aug 26 2026 at 08:45 UTC