The Directed Van Kampen Theorem in Lean.

Henning Basold Peter Bruin Dominique Lawson

Published in: CoRR (2023)

Keyphrases

von neumann
cooperative
computational complexity
data analysis
neural network
machine learning
decision making
knowledge base
web services
three dimensional
search algorithm
viewpoint
evolutionary algorithm
color images