[isabelle] proof state into latex



Hi all,

is there a way to transform a proof state (or a portion, i.e. a subgoal) into latex mechanically? So far, I used to take screenshots, but they're not very practical.

Thanks!
--
    Giamp










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