Daily Archives: January 31, 2020


CafeOBJ 1.6.0 released

We have released a new version of CafeOBJ, which incorporates the following changes: CITP is officially renamed to PTcalc documents are not updated yet PTcalc (CITP) enhancements :init defined by :def is evaluated in the proof node to which it is applied :init can be without substitution Search predicate enhancements […]