search

siddhartha-gadgil / LeanAide

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

Repeat queries if no outputs #30

Closed siddhartha-gadgil closed 1 year ago

siddhartha-gadgil commented 1 year ago

closed by 3ec47ce3838211716c38399