Login / Signup
A first moment proof of the Johansson-Molloy theorem.
François Pirot
Eoin Hurley
Published in:
CoRR (2021)
Keyphrases
</>
interactive theorem proving
linear logic
computer vision
search engine
theorem prover
intuitionistic logic
information systems
knowledge base
von neumann