Explore projects
-
Updated
-
Updated
-
Yet another LPO/KBO-based termination tool written in Haskell.
Updated -
Simon Markus Haller-Seeber / 198702-OER
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
Updated
-
-
Fabian Grander / mghw
MIT LicenseUpdated -
-
Updated