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 |