scientific article; zbMATH DE number 1301854

MaRDI QIDQ4247077zbMATH OpenFDO

Authors Douglas J. Howe

Publication date 15 September 1999

zbMATH Keywords

interactive theorem-proving systemNuprlterm rewritingtype annotation scheme

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited in

(1)

• Innovations in computational type theory using Nuprl

Describes a project that uses

Uses Software

• 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 Q4247077)