3 ms·It's not convenient at all in a language like Coq.by cryptonector 8y agoIt's not convenient at all in a language like Coq.antidesitter 8y agoCan you elaborate?