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

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

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

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