Programming Systems Lab: Publications by Lennard Gäher

Saarland University Computer Science

Select author:

2021

Mechanising Complexity Theory: The Cook-Levin Theorem in Coq   (pdf)
Lennard Gäher, Fabian Kunze
12th International Conference on Interactive Theorem Proving (ITP 2021)


Login to edit


Legal notice, Privacy policy