Login / Signup

A Proof of the Kahn-Kalai Conjecture.

Jinyoung ParkHuy Tuan Pham
Published in: CoRR (2022)
Keyphrases
  • theorem prover
  • linear logic
  • formal proof
  • geometry theorem proving
  • databases
  • multiresolution
  • theorem proving
  • proof search
  • proof planning