Support & Contact


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

Issues and bug tracker

For any kind of bug, request, comment, please use the Github Issue tracker. Contact via info@cafeobj.org is also possible.

Documentation

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