3 ms·I've been learning my own version of Coq for decades nowby hart_russell 7y agoI've been learning my own version of Coq for decades now