search

siddhartha-gadgil / LeanAide

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

Update to v8.0.0-rc1 #32

Closed siddhartha-gadgil closed 6 months ago

siddhartha-gadgil commented 6 months ago

Also avoiding resident processes