Eliciting implicit assumptions of Mizar proofs by property omission (Q1945901)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Eliciting implicit assumptions of Mizar proofs by property omission
scientific article

    Statements

    Eliciting implicit assumptions of Mizar proofs by property omission (English)
    0 references
    0 references
    17 April 2013
    0 references
    interactive theorem proving
    0 references
    proof dependencies
    0 references
    proof analysis
    0 references
    large formal libraries
    0 references
    formal proofs
    0 references
    \texttt{Mizar}
    0 references
    proof assistants
    0 references
    implicit assumptions
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers