El mes de septiembre en Exercitium (Ejercicios con Haskell y Python)

Durante el mes de septiembre he publicado en Exercitium las soluciones de los siguientes problemas:

A continuación se muestran las soluciones.
Read More “El mes de septiembre en Exercitium (Ejercicios con Haskell y Python)”

La semana en Calculemus (30 de septiembre de 2023)

Esta semana he publicado en Calculemus las demostraciones con Lean4 de las siguientes propiedades:

A continuación se muestran las soluciones.
Read More “La semana en Calculemus (30 de septiembre de 2023)”