News for hackers. Stuff that matters.

A comment on Coq 8.13. Parent comment

Re:Coq 8.13 by mcncm on Thursday February 18, 2021 @12:16PM (#26182557)
Any chance you took FRAP last spring? Hi, maybe-classmate :)
[ Parent | on HN ]
Re:Coq 8.13 by raptortech on Thursday February 18, 2021 @10:42PM (#26189396)
I'm taking it this semester!
[ Parent | on HN ]
Re:Coq 8.13 by mcncm on Tuesday February 23, 2021 @03:55PM (#26242755)
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!
[ Parent | on HN ]