Hacker News new | ask | show | jobs
by aitchnyu 639 days ago
Coq apparently renamed since professors have to introduce it to 18 year olds each year.