TopNewBestAskShowJobs
1.
LLMs as Copilots for Theorem Proving in Lean (github.com/lean-dojo)
3 points
georgehill
2 years ago
1 comment