Yet, it requires ghc-9.12.2 and Z3! If these requirements are high, you can follow the Fibonacci example from the Liquid Haskell online demo: Fibonacci.hs ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback