Formalisation of the Category of Hopf Algebras in Lean4. - Jujian Zhang; Yunzhou Xie; Yichen Feng; Yanqiao Zhou (ICMS, 2024)