4 ms·

Why not? That would be a great opportunity to model adult behavior for a bunch of teenagers.

• ModernMech 6y ago
  On the best of days I can make the students remember one, maybe two important points from a given lecture. The second I say Coq in class, the takeaway from that lecture is that the professor said Coq, not anything having to do with theorem proving.
  • dkarl 6y ago
    For those kids, maybe that's a more important thing for them to learn? I mean, so many future encounters will be affected by their ability to not turn everything into crude sex jokes, compared to the number of circumstances where it will benefit anyone for them to know about theorem provers. Maybe that's a bit too touchy-feely, but from a more ruthless, "only the course material matters" perspective, fine, let the kids who can't get over the name suffer the consequences. The kids who take it in stride will have an advantage. Nothing wrong with that.
    • 6gvONxR4sf7o 6y ago
      It doesn't just affect the immature kids, because the immature kids affect the rest.