Poleiro: a Coq blog by Arthur Azevedo de Amorim

poleiro.infosite

from

Coq

added

2026-10-10

likes

0

similar

1. ▲

   Joachim Breitner's blog posts on Coq joachim-breitner.de

   site topic programming link ↗
   site
2. ▲

   Coq'Art labri.fr

   The first book dedicated to Coq.

   site topic books & writing link ↗
   site
3. ▲

   Lysxia's blog blog.poisson.chat

   site link ↗
   site
4. ▲

   Planet Coq link aggregator coq.pl-a.net

   site link ↗
   site
5. ▲

   Gregory Malecha's blog gmalecha.github.io

   site link ↗
   site
6. ▲

   Coq subreddit reddit.com

   site link ↗
   site