3 ms·
I have been learning Coq for a couple of months now aaaand ... it's complicated. But definitely creates "AHHAA!" and "Wtf?!" moments.
by dgan 5y ago
I have been learning Coq for a couple of months now aaaand ... it's complicated.
But definitely creates "AHHAA!" and "Wtf?!" moments.