works on
binding structures 1dependent type theory 1proof assistants 1proof theory 1sequent calculus 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.LO2026

Proof Theory and Dependent Type Theory: Distinct Foundations for Designing Proof Assistants

Dale Miller

The paper compares proof-theoretic and dependent type theory foundations for interactive theorem provers, arguing that a sequent‑calculus based approach offers several advantages a…