Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
153 B · 6 lines
at develop
1234567function int: fib(int: n) = if n <= 1 then n else fib(n-1) + fib(n-2) endif;constraint forall(i in 1..1000) (let {int: comp = fib(23);} in true);