from Hacker News

Lean Co-pilot for LLM-human collaboration to write formal mathematical proofs

by techwizrd on 12/11/23, 5:20 PM with 0 comments