More SPASS with Isabelle (Q2914754)

From MaRDI portal
scientific article
Language Label Description Also known as
English
More SPASS with Isabelle
scientific article

    Statements

    title
    More SPASS with Isabelle (English)
    0 references
    author
    Andrei Popescu
    0 references
    Daniel Wand
    0 references
    Christoph Weidenbach
    0 references
    publication date
    20 September 2012
    0 references
    zbMATH DE Number
    6084500
    0 references
    describes a project that uses
    z3
    0 references
    Coq
    0 references
    Isabelle/HOL
    0 references
    SPASS
    0 references
    TPTP
    0 references
    VCC
    0 references
    Gandalf
    0 references
    Ivy
    0 references
    Mizar
    0 references
    Sledgehammer
    0 references
    seL4
    0 references
    OMEGA
    0 references
    OpenAlex ID
    W1481699975
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2914754&oldid=32692844"
    Powered by MediaWiki