End of Source for OCR - Githubissues

siddhartha-gadgil / LeanAide

Tools based on AI for helping with Lean 4

Apache License 2.0

65 stars 5 forks source link

Closed AnirudhG07 closed 1 month ago

AnirudhG07 commented 1 month ago

Sir please add end of source also in the code along with new changes you made in the code.