Día: 4 mayo 2024

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

• 1. Imagen de la interseccion general mediante aplicaciones inyectivas
• 2. Imagen inversa de la unión general
• 3. Imagen inversa de la intersección general
• 4. Teorema de Cantor
• 5. En los monoides, los inversos a la izquierda y a la derecha son iguales

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

Esta entrada es una recopilación de lecturas compartidas, durante abril de 2024, en Mastodon fundamentalmente sobre programación funcional y demostración asistida por ordenador.

Las lecturas están ordenadas según su fecha de publicación en Mastodon.

Al final de cada artículo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.

Una recopilación de todas las lecturas compartidas se encuentra en GitHub.
Read More “Resumen de lecturas compartidas durante abril de 2024”