Skip to main content

Calculemus

Proof exercises in Lean4 and Isabelle/HOL

José A. Alonso
Archive
Tags
About
RSS

Posts about RetosLean4

10-05-2026Reto 1: La sucesión 1/n converge a 0
09-05-2026Retos de demostración en Lean 4

By José A. Alonso, created with Nikola
This work is licensed under a Creative Commons Attribution Non Commercial Share Alike 4.0 International