La semana en Calculemus (7 de octubre 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 (7 de octubre de 2023)”

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)”

La semana en Calculemus (23 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 (23 de septiembre de 2023)”

La semana en Calculemus (16 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 (16 de septiembre de 2023)”