The mechanization of science illustrated by the Lean formalization of the multi-graded Proj construction. - Arnaud Mayeux; Jujian Zhang (CoRR, 2025)