[opentheory-users] Scalable LCF-style proof translation
ramana at member.fsf.org
Tue Aug 6 00:02:10 UTC 2013
On Mon, Aug 5, 2013 at 11:49 PM, Alexander Krauss <krauss at in.tum.de> wrote:
> The opentheory tool post-processes articles extracted from theorem
>> provers, for compression and neatness purposes. To that end it does
>> both of the things you call out.
> Which command do I have to run to get this?
Install opentheory as per
Then run it like:
opentheory info --article --output processed.art input.art
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the opentheory-users