Hacker News new | ask | show | jobs
by huijzer 535 days ago
Same would probably happen when talking in a video about the French theorem proofer called Coq.