Yannick Forster 0002, Dominik Kirst, Gert Smolka. On synthetic undecidability in coq, with an application to the entscheidungsproblem. In Assia Mahboubi, Magnus O. Myreen, editors, Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019. pages 38-51, ACM, 2019. [doi]
Abstract is missing.