search

siddhartha-gadgil / LeanAide

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

Merge `master` into `main` #23

Closed 0art0 closed 1 year ago