Resumen de lecturas compartidas durante abril de 2024

Esta entrada es una recopilación de lecturas compartidas, durante abril de 2024, en Mastodon fundamentalmente sobre programación funcional y demostración asistida por ordenador.

Las lecturas están ordenadas según su fecha de publicación en Mastodon.

Al final de cada artículo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.

Una recopilación de todas las lecturas compartidas se encuentra en GitHub.