Menu Close

Resumen de lecturas compartidas del 12 al 18 de enero de 2020

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

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.

1 Programación declarativa

1.1 Programación funcional con Haskell

1.2 Programación funcional con Lisp

1.3 Programación lógica con Prolog

2 DAO: Demostración asistida por ordenador

2.1 DAO con Isabelle/HOL

2.2 DAO con Coq

2.3 DAO con Lean

2.4 DAO con PVS

2.5 DAO en general

3 Lógica

Lecturas