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

  • Back to CafeOBJ Home Page