A New Map Could Help Mathematicians Find the Lemma They Need
A theorem-by-theorem map links millions of mathematical claims across papers and Lean proofs, offering new ways to search—and revealing limits.
mathematical search
A theorem-by-theorem map links millions of mathematical claims across papers and Lean proofs, offering new ways to search—and revealing limits.