Proving 1 plus 1 = 2 in 616,873 lines of Lean(github.com)
2 pointsby pragyaangaur5 hours ago1 comment