ProofScript: Proof Scripting for the Masses (Q3179409)

From MaRDI portal
scientific article
Language Label Description Also known as
English
ProofScript: Proof Scripting for the Masses
scientific article

    Statements

    Identifiers