2 ms·
I'm taking it this semester!
by raptortech 6y ago
I'm taking it this semester!
- mcncm 6y agoAha, good luck then! I really enjoyed that class, even after things got derailed by Covid. It was like a little problem-solving adventure every week. Still wish there were more Coq in the real world!