Hacker News new | ask | show | jobs
by jeffreyrogers 4039 days ago
Coq is very hard to use.