Four proofs of the directed Brooks' Theorem.

Pierre Aboulker Guillaume Aubian

Published in: CoRR (2021)

Keyphrases

interactive theorem proving
theorem proving
von neumann
real time
computer science
mathematical proofs
database
information retrieval
formal proofs