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 objforum-request@comlab.ox.ac.uk. For further information, please contact Grant Malcolm.

An introductory course on mechanised proof using OBJ is given at the OUCL.

See also:

The OBJ family of languages from Prof. Joseph Goguen, University of California, San Diego, USA.
CafeOBJ Official Homepage in Japan. See CafeOBJ Project Press Release (22 April 1997).
The Maude Group and OBJ3 (Version 2) information under specification and rewriting at SRI International CSL.
BOBJ (Behavioral OBJ), an extension of OBJ3.

See also information on the OUCL Declarative Group.

Part of the OUCL archive.

archive-management@comlab.ox.ac.uk