4 ms·

Transpiling to Z3 and Coq is an absolutely fascinating idea. I will attempt to adopt this. I've no idea where even to start