scientific article; zbMATH DE number 1301728

MaRDI QIDQ4246941zbMATH OpenFDO

Authors

Publication date 13 December 1999

zbMATH Keywords

proof environmentssurveytype theory

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1426632
• scientific article; zbMATH DE number 2149442
• Introduction
• Introduction
• Homological Mirror Symmetry and Tropical Geometry
• Introduction
• scientific article; zbMATH DE number 2149402
• Introduction

Cited in

(11)

• scientific article; zbMATH DE number 1215502 (Why is no real title available?)
• Introduction
• scientific article; zbMATH DE number 2149402 (Why is no real title available?)
• Introduction
• Introduction
• Homological Mirror Symmetry and Tropical Geometry
• scientific article; zbMATH DE number 2205984 (Why is no real title available?)
• Type theory and proof processing systems
• scientific article; zbMATH DE number 6468239 (Why is no real title available?)
• Introduction
• Introduction

Describes a project that uses

Uses Software

• Isabelle
• PVS
• 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 Q4246941)