Floris van Doorn

Identifiers

• name variant Floris van Doorn 0.60 · backfill

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

• 1503.08744 #1 · backfill · confidence 0.70 Floris van Doorn

Frequent Coauthors

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