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

1 points | by tadamcz an hour ago

No comments yet