Our recent Lean Co-pilot significantly reduces human effort needed for theorem proving in Lean
Lean Co-pilot Reduces Effort for Theorem Proving Tasks
By
–
By
–
Our recent Lean Co-pilot significantly reduces human effort needed for theorem proving in Lean