most citedCertifying algorithms and relevant properties of Reversible Primitive Permutations with Lean

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2022★ 1 cited

Certifying algorithms and relevant properties of Reversible Primitive Permutations with Lean

Giacomo Maletto, Luca Roversi

Reversible Primitive Permutations (RPP) are recursively defined functions designed to model Reversible Computation. We illustrate a proof, fully developed with the proof-assistant…