La semana en Calculemus (20 de enero de 2024)

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 (20 de enero de 2024)”

La semana en Calculemus (6 de enero de 2024)

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 (6 de enero de 2024)”

La semana en Calculemus (30 de diciembre de 2023)

Estas 3 últimas semanas 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 diciembre de 2023)”