Programming Systems Lab: Publications by Felix Rech

Saarland University Computer Science

Select author:


The Generalised Continuum Hypothesis Implies the Axiom of Choice in Coq   (pdf)
Dominik Kirst, Felix Rech
10th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2021, Copenhagen, Denmark

Login to edit

Legal notice, Privacy policy