<div dir="ltr"><div><div>Hi all,<br><br></div>Is there a way to get the OpenTheory tool to do any of the following?<br><ol><li>Show me the intermediate (i.e. unexported) theorems that arise when running an article.<br></li><li>Create an article that exports a previously unexported theorem, taking an existing article as input.</li><li>Minimise an article for what is required for a particular theorem (I think the answer here is yes, by creating a package with the desired theorem and then asking for an article for it to be generated...?)</li></ol></div>Thanks,<br>Ramana<br></div>