Login / Signup
A Proof of the Kahn-Kalai Conjecture.
Jinyoung Park
Huy Tuan Pham
Published in:
CoRR (2022)
Keyphrases
</>
theorem prover
linear logic
formal proof
geometry theorem proving
databases
multiresolution
theorem proving
proof search
proof planning