Mechanising Complexity Theory: The Cook-Levin Theorem in Coq.

Lennard Gäher Fabian Kunze

Published in: ITP (2021)

Keyphrases

complexity theory
theoretical basis
computational geometry
formal methods
theorem prover
training set
multiresolution
d objects