Skip to main content

Calculemus

Weekly proof exercises in Lean 4.

Languages:

José A. Alonso
Archive
Tags
About
RSS

Posts for January 2025

Previous
Up
Next

Also available in:

21-01-2025Praeclarum theorema
03-01-2025Nicomachus’s theorem

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