search

lecopivo / SciLean

Scientific computing in Lean 4
https://lecopivo.github.io/scientific-computing-lean/
Apache License 2.0
334 stars 30 forks source link

LeanAgent Proofs #45

Open Adarsh321123 opened 1 month ago

Adarsh321123 commented 1 month ago

LeanAgent discovers proofs for theorems with the sorry keyword.