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