A short proof of Talbot's theorem for intersecting separated sets.

Peter Borg Carl Feghali

Published in: Eur. J. Comb. (2022)

Keyphrases

interactive theorem proving
machine learning
lower bound
neural network
video sequences
linear logic
proof theory