Sign in
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