AProVE

Analysis of Haskell

Please enter a Haskell program, using the Termination Competition format.
Analysis always starts with the provided query (see help or example). If no query is provided, the analysis will return an error.
You can import the following modules: Set, FiniteMap, List, Map, Maybe, Monad, Queue, Tree.

Accepted file formats: hs

Version Termcomp2019
Disclaimer