No label defined (Q5875430)

From MaRDI portal
scientific article; zbMATH DE number 7649970
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7649970

    Statements

    author
    Fabian Immler
    0 references
    Jonas Rädle
    0 references
    Makarius Wenzel
    0 references
    publication date
    3 February 2023
    0 references
    zbMATH DE Number
    7649970
    0 references
    zbMATH Keywords
    virtualization
    0 references
    HOL4
    0 references
    Isabelle
    0 references
    Isabelle/HOL
    0 references
    Isabelle/ML
    0 references
    describes a project that uses
    Transfer
    0 references
    Lifting
    0 references
    HOL
    0 references
    LCF
    0 references
    Isabelle
    0 references
    OpenTheory
    0 references
    Archive Formal Proofs
    0 references
    Isabelle/PIDE
    0 references
    Isabelle/HOL
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5875430&oldid=30737466"
    Powered by MediaWiki