Explore projects

A project to implement crisys2, a new tool for rewriting induction over LCTRSs