Skip to main content
Calculemus
Weekly proof exercises in Lean 4.
Languages:
Español
José A. Alonso
Archive
Tags
About
RSS
Posts about Inducción
RSS feed (Inducción, en)
30-01-2020
Teorema de Nicómaco