Is Latex Version Available

[Jiahao004]

Dear authors,

Recently I come across your dataset and found it very interesting and valuable. I'd like to ask is there any latex version of the theorem and proofs? TBD, I am not familiar with LEAN or wiki proof language, and would like to know how to convert them to natural languages with LaTeX annotation.

Best wishes, Jiahao