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

(9)

• Simple Types in Type Theory: Deep and Shallow Encodings
• Analytic Tableaux for Simple Type Theory and its First-Order Fragment
• scientific article; zbMATH DE number 6923849 (Why is no real title available?)
• scientific article; zbMATH DE number 960927 (Why is no real title available?)
• Constructing the Lie algebra of smooth vector fields on a Lie group in Isabelle/HOL
• The HOL-CSP Refinement Toolkit
• HOL-CSP Version 2.0
• A Sound Type System for Physical Quantities, Units, and Measurements
• A mechanized proof of the basic perturbation lemma

Describes a project that uses

Uses Software

• ETPS
• Isabelle
• HOL
• Nuprl

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)