Login / Signup
Yanqiao Zhou
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Multiscale
Topological Spaces
Web Directories
Legal Reasoning
Top Venues
ICMS
</>
Publications
</>
Jujian Zhang
,
Yunzhou Xie
,
Yichen Feng
,
Yanqiao Zhou
Formalisation of the Category of Hopf Algebras in Lean4.
ICMS
(2024)