A Lean Mechanization of Reversible Occurrence Nets.

Daniel Dvalos, Hernn C. Melgratti

Browse the full RC paper archive.