Comment on Coq 8.13parentComments−mcncm5yAny chance you took FRAP last spring? Hi, maybe-classmate :)−raptortech5yI'm taking it this semester!−mcncm5yAha, 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!
Comments
Any chance you took FRAP last spring? Hi, maybe-classmate :)
I'm taking it this semester!
Aha, 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!