Ir al contenido principal

Calculemus

Retos semanales de demostración en Lean 4.

Idiomas:

José A. Alonso
Archivo
Etiquetas
Acerca de
RSS

Posts de enero de 2025

Anterior
Arriba
Siguiente

También disponible en:

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