2 ms·

Idris has pluggable peoof strategies, so whilst it's not doing it all for you, in theory you could plug Z3 into it.