Not registered as user yet

Name: Felix Rech

Country: Germany

Affiliation: Saarland University

Contributions

CPP 2021 Author of The Generalised Continuum Hypothesis Implies the Axiom of Choice in Coq within the CPP 2021-track