search

siddhartha-gadgil / LeanAide

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

Code actions for name suggestions #22

Closed 0art0 closed 1 year ago