Lean 4 programming language and theorem prover
Reading the pull requests.
0 / 725 merged PRs · 90 days
No AI-agent authors in this read.
