Type Theory and Formal Proof (Q2925448)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Type Theory and Formal Proof
scientific article

    Statements

    title
    Type Theory and Formal Proof (English)
    0 references
    author
    Rob Nederpelt
    0 references
    Herman Geuvers
    0 references
    publication date
    22 October 2014
    0 references
    describes a project that uses
    Mizar
    0 references
    HOL
    0 references
    Coq
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03-02
    0 references
    03F03
    0 references
    03F07
    0 references
    zbMATH DE Number
    6359834
    0 references
    OpenAlex ID
    W4251964558
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2925448&oldid=37069688"
    Powered by MediaWiki