3 ms·

Well, we aren't really, yet. If we were actually like other engineers, everyone would know Coq. Can you imagine building bridges the way many companies do code

Well, we aren't really, yet. If we were actually like other engineers, everyone would know Coq. Can you imagine building bridges the way many companies do code?