Type Theory and Formal Proof

DOI10.1017/CBO9781139567725zbMath1317.03001OpenAlexW4251964558MaRDI QIDQ2925448

Herman Geuvers, Rob Nederpelt

Publication date: 22 October 2014

Full work available at URL: https://doi.org/10.1017/cbo9781139567725

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (4)

Characteristics of de Bruijn’s early proof checker Automath ⋮ Unnamed Item ⋮ N. G. de Bruijn's contribution to the formalization of mathematics ⋮ Subtypes in fuzzy type theory

Uses Software

• Unnamed Item
• Mizar
• HOL

This page was built for publication: Type Theory and Formal Proof