Poleiro is a blog about the Coq proof assistant. You can read the posts at http://poleiro.info.
- Coq (tested with 8.13)
- The Ssreflect and Mathematical Components libraries (tested with 1.12.0)
- Hakyll (tested with version 4.12.4.0)
- Sass and Compass
arthuraa/poleiro
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|