scientific article; zbMATH DE number 1424017

MaRDI QIDQ4945207zbMATH OpenFDO

Authors Vincent Zammit

Publication date 5 December 2000

zbMATH Keywords

theorem provingMizar system

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1863397
• An approach to the extension of a theorem prover by advanced structuring mechanisms.
• A tactic language for declarative proofs
• Declarative representation of proof terms
• scientific article; zbMATH DE number 1424018

Cited in

(4)

• Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
• On extensibility of proof checkers
• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• Declarative representation of proof terms

Describes a project that uses

Uses Software

• Mizar
• Coq

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