DAO: La semana en Calculemus (23 de septiembre de 2022)

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

A continuación se muestran las soluciones.
Read More “DAO: La semana en Calculemus (23 de septiembre de 2022)”

DAO: La semana en Calculemus (16 de septiembre de 2022)

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

A continuación se muestran las soluciones.
Read More “DAO: La semana en Calculemus (16 de septiembre de 2022)”

PFH: La semana en Exercitium (16 de septiembre de 2022)

Esta semana he publicado en Exercitium las soluciones de los siguientes problemas:

A continuación se muestran las soluciones.
Read More “PFH: La semana en Exercitium (16 de septiembre de 2022)”

DAO: La semana en Calculemus (9 de septiembre de 2022)

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

A continuación se muestran las soluciones.
Read More “DAO: La semana en Calculemus (9 de septiembre de 2022)”