Type theory and formalisation of mathematics

DOI10.1007/978-3-319-58747-9_1zbMath1489.68395OpenAlexW2611513503MaRDI QIDQ2399357

Thierry Coquand

Publication date: 22 August 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-58747-9_1

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40) Formalization of mathematics in connection with theorem provers (68V20) Type theory (03B38)

Related Items (1)

Unnamed Item

Uses Software

• Automath
• UniMath
• GitHub

Cites Work

• A Machine-Checked Proof of the Odd Order Theorem
• An experimental library of formalized Mathematics based on the univalent foundations
• A formulation of the simple theory of types
• Unnamed Item

This page was built for publication: Type theory and formalisation of mathematics