4 ms·
I find it very interesting to see how experienced Coq programmers prove things. I have enough experience to know how deliberate there choices have to be.
by anonlastname 8y ago
I find it very interesting to see how experienced Coq programmers prove things. I have enough experience to know how deliberate there choices have to be.