A short proof of the Gács-Körner theorem.

László Csirmaz

Published in: CoRR (2023)

Keyphrases

interactive theorem proving
theorem proving
automated theorem proving
computer vision
computer science
von neumann
data sets
real world
information retrieval
linear logic
proof theory
geometry theorem proving