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

1 pointsposted 12 hours ago
by tadamcz
(arxiv.org)

No comments yet