↑
OEIS Open: A benchmark of 492 unsolved math conjectures, formalized in Lean
Posted by
tadamcz
|
5 hours ago |
0 comments
There are no comments
back
