Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System (Q3003483)

From MaRDI portal
Revision as of 08:28, 26 August 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System
scientific article

    Statements

    Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System (English)
    0 references
    0 references
    0 references
    27 May 2011
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references