Programming Systems Lab: Publications by Felix Rech

Saarland University Computer Science

Select author:

2021

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