search

siddhartha-gadgil / LeanAide

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

Corrected Json + code #36

Closed AnirudhG07 closed 2 months ago

AnirudhG07 commented 2 months ago

I have formatted 6 jsons i think from all results from gemini here and there. Also added the code for formatting json. Pls review how i have added the function in the code.

Bugs TBF

siddhartha-gadgil commented 2 months ago

I would like to try parsing first without modification and then with modification. But will make that change after pulling.

siddhartha-gadgil commented 2 months ago

By the way, there seemed to be some mistakes in the code js=json_formatter(js) should be json_block=js_formatter(json_block). I have fixed these I believe. Do check.

AnirudhG07 commented 2 months ago

By the way, there seemed to be some mistakes in the code js=json_formatter(js) should be json_block=js_formatter(json_block). I have fixed these I believe. Do check.

I got a bit confused bw js and json_block. If you think input is json_block, then its fine.

AnirudhG07 commented 2 months ago

Bugs TBF

  • [x] For \(f \), it does not work.

The bug is fixed