4 ms·Yeah, it's only right asymptotically. It's nice work testing some of those things in coq.by thomasahle 6y agoYeah, it's only right asymptotically. It's nice work testing some of those things in coq.