Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization
scientific article

    Statements

    Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (English)
    0 references
    0 references
    26 May 2016
    0 references
    0 references
    proof assistant
    0 references
    formal verification
    0 references
    definitional expansion
    0 references
    Mizar
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references