Este repositorio contienen las soluciones en Lean4 e Isabelle/HOL de los ejercicios propuestos en el blog Calculemus.

Ejercicios ordenados por fecha de publicación

2020

Enero 2020

Febrero 2020

Marzo 2020

Abril 2020

2021

Mayo 2021

Junio 2021

2023

Julio 2023

Agosto 2023

Septiembre 2023

Octubre 2023

Noviembre 2023

Diciembre 2023

2024

Enero 2024

Febrero 2024

Marzo 2024

Abril 2024

Mayo 2024

Junio 2024

Julio 2024

Agosto 2024

Septiembre 2024

Octubre 2024

Noviembre 2024

Diciembre 2024

2025

Enero 2025

Ejercicios ordenados por tema

En este enlace se encuentran los ejercicios anteriores clasificados por tema.