flaviodemoura/Zproperty

A formal proof that Z property imples confluence

TeX