Lean Co-pilot for LLM-human collaboration to write formal mathematical proofs (twitter.com) 4 points by techwizrd 2y ago ↗ HN
0 comments
[ 4.5 ms ] story [ 11.7 ms ] threadNo comments yet.