Floris van Doorn

Identifiers

No identifiers captured yet.

Papers (6)

1. A formalization of forcing and the unprovability of the continuum hypothesis cs.LO · 2019 · author #2
2. On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory math.AT · 2018 · author #1
3. Higher Groups in Homotopy Type Theory cs.LO · 2018 · author #2
4. Homotopy Type Theory in Lean cs.LO · 2017 · author #1
5. Constructing the Propositional Truncation using Non-recursive HITs math.LO · 2015 · author #1
6. Propositional Calculus in Coq math.LO · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ulrik Buchholtz 2 shared papers
• Egbert Rijke 1 shared papers
• Jakob von Raumer 1 shared papers
• Jesse Michael Han 1 shared papers