An experimental library of formalized Mathematics based on the univalent foundations (Q5740657)

From MaRDI portal
scientific article; zbMATH DE number 6606943
Language Label Description Also known as
English
An experimental library of formalized Mathematics based on the univalent foundations
scientific article; zbMATH DE number 6606943

    Statements

    An experimental library of formalized Mathematics based on the univalent foundations (English)
    0 references
    0 references
    27 July 2016
    0 references

    Identifiers