×

zbMATH — the first resource for mathematics

Introduction to the calculus of inductive constructions. (English) Zbl 1431.03026
Woltzenlogel Paleo, Bruno (ed.) et al., All about proofs, proofs for all. London: College Publications. Stud. Log. (Lond.) 55, 116-133 (2015).
For the entire collection see [Zbl 1334.03007].

MSC:
03B35 Mechanization of proofs and logical operations
03F07 Structure of proofs
68V15 Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Software:
A3PAT; Coq; Ynot
PDF BibTeX XML Cite