Re: [isabelle] Print proof of theorem



For my Master's thesis, I had some success using the technique suggested
by this page:
https://isabelle.in.tum.de/community/Generate_TeX_Snippets

Tim
<><

Attachment: signature.asc
Description: OpenPGP digital signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.