[fuzztester]

How does it do the proving?

[fcatalan]

Spawns and calls z3 under the hood, I did let it cheat there because otherwise it's rabbit holes below rabbit holes all the way down :)

[fuzztester]

thanks.