scientific article; zbMATH DE number 65526

MaRDI QIDQ4012874zbMATH OpenFDO

Authors Peter Aczel, David Carlisle, Nax Paul Mendler

Publication date 27 September 1992

zbMATH Keywords

generic theorem prover Isabellelogical theory of constructionLTC frameworkLTC theoriesMartin-Löf type theories

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Second- and higher-order arithmetic and fragments (03F35) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Recommendations

• The foundation of a generic theorem prover
• The Isabelle Framework
• scientific article; zbMATH DE number 1088221
• A modular construction of type theories
• scientific article; zbMATH DE number 559219

Cited in

(5)

• Levels of truth
• The foundation of a generic theorem prover
• scientific article; zbMATH DE number 65527 (Why is no real title available?)
• The Isabelle Framework
• A pluralist approach to the formalisation of mathematics

Describes a project that uses

Uses Software

• Isabelle

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4012874)