Tutorial: A Hello World in Coq (with IO) #1 Post by hme » Mon, Feb 23, 2015, 8:08 AM UTC Tutorial: A Hello World in Coq (with IO)coq-blog.clarus.me