Formalisation of the Category of Hopf Algebras in Lean4.

Jujian Zhang Yunzhou Xie Yichen Feng Yanqiao Zhou

Published in: ICMS (2024)

Keyphrases

formal analysis
machine learning
real time
data sets
spatial reasoning
legal reasoning
decision making
multiscale
evolutionary algorithm
object categories
web directories
topological spaces