The CafeOBJ system

Please see the terms and conditions of license of CafeOBJ system.

Version 1.4.2beta9 is now available. Please notice that this is still a prototype version and the available manual is largely behind it.

source package
The source code is written in LISP. You need GCL or ACL or CMUCL to compile it.

cafeobj-1.4.2beta9.tar.gz (589,541byte)

binary package

now preparing

How to install a binary package