OEIS Open: A benchmark of 492 unsolved math conjectures, formalized in Lean

 (arxiv.org)

1 points | by tadamcz  13 hours ago

No comments yet.