Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean. - Giacomo Maletto; Luca Roversi (RC, 2022)

Certifying expressive power and algorithms of reversible primitive permutations with Lean. - Giacomo Maletto; Luca Roversi (J. Log. Algebraic Methods Program., 2024)