TY  - RPRT
TI  - Certifying algorithms and relevant properties of Reversible Primitive Permutations with Lean
AU  - Giacomo Maletto
AU  - Luca Roversi
PY  - 2022
DO  - 10.1007/978-3-031-09005-9_8
UR  - https://arxiv.org/abs/2201.10443
ID  - 2201.10443
ER  -