HaTeX
HaTeX copied to clipboard
Proof.sty implementation
HaTeX don't have functions to deal with proof.sty package
I am going to add it :)
Great! Thanks!