[Termtools] Probabilistic Rewriting at termCOMP

Dear all,

after the nice interactive 0th probabilistic termination competition last year, we plan to introduce new (non-interactive) categories for probabilistic rewriting. A proposal for the new categories is available in this GitHub discussion [1]. Please share your opinions there.

Best Florian

[1] https://github.com/orgs/TermCOMP/discussions/82