Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean.

Giacomo Maletto, Luca Roversi

Browse the full RC paper archive.