scientific article; zbMATH DE number 2154392

MaRDI QIDQ4664918zbMATH OpenFDO

Authors Henk Barendregt

Publication date 9 April 2005

zbMATH Keywords

Coq

Mathematics Subject Classification ID

Recommendations

• MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics
• A proof-centric approach to mathematical assistants
• Types for Proofs and Programs
• scientific article; zbMATH DE number 1722693
• scientific article; zbMATH DE number 1629953

Cited in

(13)

• Proof assistants: history, ideas and future
• Towards verified handwritten calculational proofs (short paper)
• scientific article; zbMATH DE number 1722693 (Why is no real title available?)
• Computerizing mathematical text with MathLang
• Web interfaces for proof assistants
• Semantic Enrichment of Mathematics via ‘tooltips’
• Click'n prove: interactive proofs within set theory
• Mathematical Knowledge Management
• Mathematical Knowledge Management
• Mathematical Knowledge Management
• MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics
• A proof-centric approach to mathematical assistants
• Supporting the formal verification of mathematical texts

Describes a project that uses

Uses Software

• Automath
• Coq
• Mizar

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 Q4664918)