OEIS Open: A benchmark of 492 unsolved math conjectures, formalized in Lean (arxiv.org) 1 points by tadamcz 2mo ago ↗ HN
0 comments
[ 3.6 ms ] story [ 14.1 ms ] threadNo comments yet.