Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Dependently Typed Programming Based on Automated Theorem Proving - MaRDI portal

Dependently Typed Programming Based on Automated Theorem Proving (Q2908568)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Dependently Typed Programming Based on Automated Theorem Proving
scientific article

    Statements

    title
    Dependently Typed Programming Based on Automated Theorem Proving (English)
    0 references
    author
    Alasdair Armstrong
    0 references
    Simon Foster
    0 references
    Georg Struth
    0 references
    publication date
    5 September 2012
    0 references
    describes a project that uses
    Mizar
    0 references
    Proof General
    0 references
    Agda
    0 references
    Waldmeister
    0 references
    Isabelle/HOL
    0 references
    TPTP
    0 references
    Haskell
    0 references
    Nuprl
    0 references
    Epigram
    0 references
    Mella
    0 references
    Metis_
    0 references

    Identifiers

    zbMATH DE Number
    6076973
    0 references
    OpenAlex ID
    W1861293286
    0 references
    arXiv ID
    1112.3833
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2908568&oldid=33569378"
    Powered by MediaWiki