Arnaud, M., & Zhang, J. Multigraded-Proj construction in Lean4 [Computer software]. https://github.com/ProjConstruction/Proj