2 packages found. Page 1 of 1.

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

2 packages found. Page 1 of 1.