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
Interactive Theorem Proving - 12th International Conference, ITP 2021, Rome, Italy (To appear)


Login to edit


Legal notice, Privacy policy