Maximilian Dor\'e

Identifiers

• name variant Maximilian Dor\'e 0.60 · backfill

Papers (3)

1. Dependent Multiplicities in Dependent Linear Type Theory cs.PL · 2025 · author #1
2. Automating Boundary Filling in Cubical Type Theories cs.LO · 2024 · author #1
3. The Elfe System - Verifying mathematical proofs of undergraduate students cs.LO · 2018 · author #1

Mentions

• 2507.08759 #1 · arxiv_oai · confidence 0.70 Maximilian Dor\'e

Frequent Coauthors

• Anders M\"ortberg 1 shared papers
• Evan Cavallo 1 shared papers
• Krysia Broda 1 shared papers