Certifying algorithms and relevant properties of reversible primitive permutations with \textsf{Lean} (Q2097420)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Certifying algorithms and relevant properties of reversible primitive permutations with \textsf{Lean} |
scientific article; zbMATH DE number 7615945
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Certifying algorithms and relevant properties of reversible primitive permutations with \textsf{Lean} |
scientific article; zbMATH DE number 7615945 |
Statements
Certifying algorithms and relevant properties of reversible primitive permutations with \textsf{Lean} (English)
0 references
11 November 2022
0 references
0.85196215
0 references
0.8193827
0 references
0 references
0.8153943
0 references
0.81539166
0 references
0.81432074
0 references
0.81366765
0 references
0.8135344
0 references
0 references
