Hacker News new | ask | show | jobs
Tutorial: A Hello World in Coq (with IO) (coq-blog.clarus.me)
1 points by hme 4131 days ago