search

siddhartha-gadgil / LeanAide

Tools based on AI for helping with Lean 4
Apache License 2.0
65 stars 5 forks source link

ocr rules added for better image to latex #40

Closed AnirudhG07 closed 1 month ago

AnirudhG07 commented 1 month ago

(Any changes apart from prompt, is done by my "formatter" in vim. )

siddhartha-gadgil commented 1 month ago

Thanks. Looks good.