Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
User interaction with the Matita proof assistant - MaRDI portal

User interaction with the Matita proof assistant (Q2462635)

From MaRDI portal
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
    OTTER
    0 references
    Theorema
    0 references
    Nuprl
    0 references
    MML
    0 references
    CtCoq
    0 references
    HR
    0 references
    OpenAlex ID
    W2136219937
    0 references
    Wikidata QID
    Q56901952
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2462635&oldid=35021823"
    Powered by MediaWiki