siddhartha-gadgil / LeanAide

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

fixed json_formatted input bug #38

Closed AnirudhG07 closed 4 months ago

AnirudhG07 commented 4 months ago

Turns out the error was how the input was given to it. The code was correct. It was work just fine now.