Poleiro

Where the Coq lives

| Comments GitHub

Two nice Coq-related blogs

Here are two blogs with nice Coq-related content:

  • Guillaume Claret, a Ph.D. student in Paris, has also a blog devoted to Coq. You can find some good articles in there, such as this one, explaining how to use OPAM as a package manager for Coq.

  • Ömer’s blog has a lot of general programming-languages and functional-programming material. This post, for instance, presents a simple exercise in dependently typed programming.

comments powered by Disqus