Stream: Isabelle/ML

Topic: ✔ Generating proof outlines

view this post on Zulip Szymon Antoniak (Dec 10 2021 at 13:53):

Apologies if this chat is not meant for questions like this, this is my first question.
Is there a canonical way to generate a proof outline file from a complete thory file (as in If so, is it possible to pick to format of the file (say, txt instead of pdf) and disable Latex typesetting?

view this post on Zulip Mathias Fleury (Dec 10 2021 at 14:06):

view this post on Zulip Notification Bot (Dec 10 2021 at 17:33):

Szymon Antoniak has marked this topic as resolved.

Last updated: Dec 07 2023 at 16:21 UTC