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: