TY  - RPRT
TI  - The mechanization of science illustrated by the Lean formalization of the multi-graded Proj construction
AU  - Arnaud Mayeux
AU  - Jujian Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2509.15116
ID  - 2509.15116
ER  -