Proving 1 plus 1 = 2 in 616,873 lines of Lean

(github.com)

2 points | by pragyaangaur 4 hours ago ago

1 comments