An overview of the Tecton proof system (Q1341710)

From MaRDI portal
Revision as of 09:14, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
An overview of the Tecton proof system
scientific article

    Statements

    title
    An overview of the Tecton proof system (English)
    0 references
    author
    V. Pereyra
    0 references
    publication date
    15 June 2000
    0 references
    describes a project that uses
    Nuprl
    0 references
    Cambridge LCF
    0 references
    LEGO
    0 references
    LARCH
    0 references
    PVS
    0 references
    NQTHM
    0 references

    Identifiers

    zbMATH DE Number
    708695
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1341710&oldid=23166599"
    Powered by MediaWiki