Awesome
Poleiro, a Coq blog
Poleiro is a blog about the Coq proof assistant. You can read the posts at http://poleiro.info.
Build requirements
-
Coq (tested with 8.13)
-
The Ssreflect and Mathematical Components libraries (tested with 1.12.0)
-
Hakyll (tested with version 4.12.4.0)