TY  - RPRT
TI  - Formalization of Auslander--Buchsbaum--Serre criterion in Lean4
AU  - Naillin Guan
AU  - Yongle Hu
PY  - 2025
UR  - https://arxiv.org/abs/2510.24818
ID  - 2510.24818
ER  -