Support & Contact


The development team of CafeOBJ tries to help in case you have problems.

Documentation and Wiki

Please consult the various documentation pages, the in-program help (type ? at the command prompt), and the reference manual (HTML).

Mailing list

The first contact point for questions and requests is the mailing list users@cafeobj.org. Posts in English or Japanese are fine, other language might not see an answer.

Email

For bugs and feature requests and all other requests, please contact us at info@cafeobj.org.