2 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
ttt2-hg 1.20.1.r2116.7c846900def0-1 0 0.00 An automatic termination prover for term rewrite systems (TRSs) (mercurial version) ruffy 2020-07-07 08:29 (UTC)
csi-hg 1.2.4.r2111.7fe648231f80-1 0 0.00 An automatic confluence prover for term rewrite systems (TRSs) (mercurial version) ruffy 2020-07-07 08:14 (UTC)

2 packages found. Page 1 of 1.