User interaction with the Matita proof assistant (Q2462635)

From MaRDI portal
Revision as of 17:06, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
User interaction with the Matita proof assistant
scientific article

    Statements

    title
    User interaction with the Matita proof assistant (English)
    0 references
    author
    Andrea Asperti
    0 references
    Claudio Sacerdoti Coen
    0 references
    Enrico Tassi
    0 references
    Stefano Zacchiroli
    0 references
    publication date
    3 December 2007
    0 references
    zbMATH DE Number
    5217102
    0 references
    zbMATH Keywords
    Proof assistant
    0 references
    Interactive theorem proving
    0 references
    Digital libraries
    0 references
    XML
    0 references
    Mathematical knowledge management
    0 references
    Authoring
    0 references
    describes a project that uses
    Proof General
    0 references
    C-CoRN
    0 references
    Whelp
    0 references
    Mizar
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2462635&oldid=23356191"
    Powered by MediaWiki