La semana en Calculemus (9 de marzo de 2024)

Esta semana he publicado en Calculemus las demostraciones con Lean4 e Isabelle/HOL de las siguientes propiedades:

A continuación se muestran las soluciones.
Read More “La semana en Calculemus (9 de marzo de 2024)”

La semana en Calculemus (24 de febrero de 2024)

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 (24 de febrero de 2024)”

La semana en Calculemus (3 de febrero 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 (3 de febrero de 2024)”