A proof of the Prelov conjecture.

Yi C. Huang Fei Xue

Published in: CoRR (2023)

Keyphrases

theorem proving
linear logic
geometry theorem proving
theorem prover
three dimensional
data structure
computer science
lower bound
special case
automated theorem proving
proof theory