Strange new universes: Proof assistants and synthetic foundations (Q6130525)

From MaRDI portal
scientific article; zbMATH DE number 7826995
Language Label Description Also known as
English
Strange new universes: Proof assistants and synthetic foundations
scientific article; zbMATH DE number 7826995

    Statements

    Identifiers