Skip to main content

Calculemus

Proof exercises in Lean4 and Isabelle/HOL

José A. Alonso
Archive
Tags
About
RSS

Posts for November 2024

Previous
Up
Next

10-11-2024If u(n) tends to a, then 7u(n) tends to 7a

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