Certifying expressive power and algorithms of reversible primitive permutations with \textsf{Lean} (Q6151610)

From MaRDI portal
scientific article; zbMATH DE number 7803175
Language Label Description Also known as
English
Certifying expressive power and algorithms of reversible primitive permutations with \textsf{Lean}
scientific article; zbMATH DE number 7803175

    Statements

    Identifiers