Explore projects
-
Yet another LPO/KBO-based termination tool written in Haskell.
Updated -
Yet another maximal completion tool written in Haskell.
Updated -
Yet another completion tool written in Haskell.
Updated -
Updated
-
Updated
-
This is a code base accompanying the master thesis with the title 'On orthogonality of Self-Distributivity' by R. Schikora.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
-
Updated
-
A tool performing AC-completion for left-linear TRSs written in Haskell.
Updated -
Updated