Resumen de lecturas compartidas (enero de 2018)

Esta entrada es una recopilación de lecturas compartidas, durante enero de 2018, en Twitter sobre programación funcional y demostración asistida por ordenador fundamentalmente.

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

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