Post-Processor-Infos of "ceta.9"

Name: ceta.9
Description: This postprocessor uses CeTA 2.15, a certifier for various properties of first order term rewrite systems, written by Christian Sternagel and Rene Thiemann at Innsbruck University. Version info: ceta_postproc commit e9e0e4deb7546db91461a1457c126a1be2be4bde using tpdb 1.0.1 fixes error in cpf parser for relative termination proofs
Last Update from Star-Exec: 2015-07-31 12:10:02.185602 UTC