Tactics for hierarchical proof (Q626933)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Tactics for hierarchical proof
scientific article

    Statements

    title
    Tactics for hierarchical proof (English)
    0 references
    author
    David Aspinall
    0 references
    Ewen Denney
    0 references
    Christoph Lüth
    0 references
    publication date
    19 February 2011
    0 references
    zbMATH Keywords
    hierarchical proof
    0 references
    hiproof
    0 references
    tactical theorem proving
    0 references
    describes a project that uses
    Proof General
    0 references
    ArcAngel
    0 references
    Isar
    0 references
    Matita
    0 references
    OMDoc
    0 references
    HOL
    0 references
    LOUI
    0 references

    Identifiers

    zbMATH DE Number
    5853498
    0 references
    OpenAlex ID
    W2030178956
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q626933&oldid=35215003"
    Powered by MediaWiki