Hacker News new | ask | show | jobs
by gaius 4597 days ago
That's a feature not a bug; it would slow down Coq is the reason.