FANDOM


Z/EVES is a proof tool based on EVES and ZF set theory that supports the Z notation. Originally available from ORA Canada, its status is now uncertain.

See:

Community content is available under CC-BY-SA unless otherwise noted.