Quantomatic: A Proof Assistant for Diagrammatic Reasoning (Q3454104)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Quantomatic: A Proof Assistant for Diagrammatic Reasoning
scientific article

    Statements

    Identifiers