Emanuelis' Blog

Z\EVES is a Z notation theorem proving program. It is an old and I think abandoned software, but used in some universities. Old Python 2.3 is needed for running it. . . . → Read More: How to run Z\EVES on Ubuntu 10.04