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 email@example.com is also possible.
The first contact point for questions and requests is the mailing list firstname.lastname@example.org. Posts in English or Japanese are fine, other language might not see an answer