Towards the animation of proofs -- testing proofs by examples (Q5958295)

From MaRDI portal
Revision as of 01:24, 30 January 2024 by Import240129110155 (talk | contribs) (Added link to MaRDI item.)
scientific article; zbMATH DE number 1715296
Language Label Description Also known as
English
Towards the animation of proofs -- testing proofs by examples
scientific article; zbMATH DE number 1715296

    Statements

    Towards the animation of proofs -- testing proofs by examples (English)
    0 references
    0 references
    0 references
    0 references
    3 March 2002
    0 references
    formal proof developments
    0 references
    Curry-Howard isomorphism
    0 references
    testing and debugging
    0 references

    Identifiers