Experiences from exporting major proof assistant libraries (Q2069875)

From MaRDI portal
Revision as of 18:59, 27 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Experiences from exporting major proof assistant libraries
scientific article

    Statements

    title
    Experiences from exporting major proof assistant libraries (English)
    0 references
    author
    Michael Kohlhase
    0 references
    Florian Rabe
    0 references
    publication date
    21 January 2022
    0 references
    zbMATH Keywords
    theorem prover library
    0 references
    export
    0 references
    HOL light
    0 references
    Coq
    0 references
    Isabelle
    0 references
    IMPS
    0 references
    PVS
    0 references
    Mizar
    0 references
    describes a project that uses
    Coq
    0 references
    Isabelle/HOL
    0 references
    MMT
    0 references
    QMT
    0 references
    Lean
    0 references
    HOLyHammer
    0 references
    seL4
    0 references
    LATIN
    0 references
    Isabelle
    0 references
    Mizar
    0 references
    ETPS
    0 references
    Nuprl
    0 references
    SPARQL
    0 references
    CoqHammer
    0 references
    CoqInE
    0 references
    kepler98
    0 references
    PVS
    0 references
    HOL Light
    0 references
    Whelp
    0 references
    OMDoc
    0 references
    IMPS
    0 references
    cites work
    Querying Proofs
    0 references
    Theories as types
    0 references
    Q4790669
    0 references
    Q4413895
    0 references

    Identifiers

    zbMATH DE Number
    7461271
    0 references
    OpenAlex ID
    W3190866889
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2069875&oldid=36759746"
    Powered by MediaWiki