Virtual Library
Software engineering
Formal methods

The OBJ archive

The OBJ archive contains information relevant to the OBJ3 and 2OBJ theorem provers and is available via anonymous FTP. OBJ was originated by Prof. Joseph Goguen.

An OBJ FORUM mailing list is available. To subscribe, send email to


See also Edit

Last updated by Jonathan Bowen, 24 March 2009.

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.