Tutorial: A Hello World in Coq (with IO) Posted by hme on Monday February 23, 2015 @03:08AM from the coq-blog.clarus.me dept. http://coq-blog.clarus.me/tutorial-a-hello-world-in-coq.html ( no comments | on HN )
There are no comments yet.