4 ms·It might be the anglosaxon revenge for the programming language / theorem prover coq.by mejutoco 4y agoIt might be the anglosaxon revenge for the programming language / theorem prover coq.