Programming Systems Lab: Publications by Marc Hermes

Saarland University Computer Science

Select author:

2021

Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq   (pdf)
Dominik Kirst, Marc Hermes
12th International Conference on Interactive Theorem Proving (ITP 2021)


Login to edit


Legal notice, Privacy policy