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: Sep 15 2026 at 09:19 UTC