Formalizing Hall's Marriage Theorem in Lean.

Alena Gusakov Bhavik Mehta Kyle A. Miller

Published in: CoRR (2021)

Keyphrases

pattern recognition
special case
von neumann
information systems
digital topology
databases
data mining
training data
end users