Hi,
In the archives there is a mention of 'Ozded', a theorem prover written
in Oz, but the link is dead.
Does anyone know if there is any information around regarding this
project that I can access?
Regards
Mark R
--
Mark Richardson MBCS
Research Assistant
University of Teesside, UK
Email: [email protected]
[email protected]
Skype: mark.richardson.
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
