2 ms·
Coq requires thinking like a functional programmer, and most programmers are resistant to that paradigm for some reason.
by ebingdom 5y ago
Coq requires thinking like a functional programmer, and most programmers are resistant to that paradigm for some reason.