Hacker News new | ask | show | jobs
by tom_ 65 days ago
The linked community survey suggests that a plurality of votes were in favour, which would explain it: https://discourse.rocq-prover.org/t/coq-community-survey-202...