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