Hi, I'd like to put some HOL theorems in a paper that is written in latex. Is there an easy way to format HOL formulas nicely in latex?
Thanks. Lu ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
