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 https://www.isa-afp.org/browser_info/current/AFP/Concurrent_Ref_Alg/outline.pdf)? If so, is it possible to pick to format of the file (say, txt instead of pdf) and disable Latex typesetting?
Szymon Antoniak has marked this topic as resolved.
Last updated: Dec 07 2023 at 16:21 UTC