Explore projects
-
A project to implement crisys2, a new tool for rewriting induction over LCTRSs
Updated -
Updated
We plan a server migration, which takes a few days. The exact dates will be announced soon.
A project to implement crisys2, a new tool for rewriting induction over LCTRSs