Department of Computer Science

University of Innsbruck

ConCon is a fully automatic confluence checker for oriented first-order conditional term rewrite systems (CTRSs).

Examples

Load own example

Syntax highlighting

Tool input

Certify output with CeTA