5 ms·

How does it do the proving?

• fcatalan 7mo ago
  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 7mo ago
    thanks.