A arxiv.org OEIS Open: A benchmark of 492 unsolved math conjectures, formalized in Lean 2 points tadamcz 2 months ago 0 comments
