@misc{indiciaeb3f08175ee2d,
  title = {Certifying algorithms and relevant properties of Reversible Primitive Permutations with Lean},
  author = {Giacomo Maletto and Luca Roversi},
  year = {2022},
  doi = {10.1007/978-3-031-09005-9\_8},
  url = {https://arxiv.org/abs/2201.10443},
  note = {Source identifier: 2201.10443}
}