Extracting functional programs from Coq, in Coq (Q5101927)

From MaRDI portal
scientific article; zbMATH DE number 7581654
Language Label Description Also known as
English
Extracting functional programs from Coq, in Coq
scientific article; zbMATH DE number 7581654

    Statements

    Extracting functional programs from Coq, in Coq (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    2 September 2022
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers