lean proof assistant

Mathematicians Dawei Chen and Quentin Gendron published an unsolved conjecture after hitting a major obstacle in their algebraic geometry work,…