all | search sort by web-site last modified | name
1 tool found.
StreamBox: A Tool for Proving Stream Equality.
categories infinitary_rewriting term_rewriting theorem_prover