Hacker News new | ask | show | jobs
by elcapitan 2950 days ago
What's the upside compared to coq?