scientific article; zbMATH DE number 15883

MaRDI QIDQ3972529zbMATH OpenFDO

Authors Lawrence C. Paulson

Publication date 25 June 1992

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited in

(5)

• scientific article; zbMATH DE number 6923849 (Why is no real title available?)
• A mechanized proof of the basic perturbation lemma
• scientific article; zbMATH DE number 960927 (Why is no real title available?)
• Simple Types in Type Theory: Deep and Shallow Encodings
• Analytic Tableaux for Simple Type Theory and its First-Order Fragment

Describes a project that uses

Uses Software

• Nuprl
• ETPS
• HOL
• 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 Q3972529)