Ir al contenido principal
Calculemus
Retos semanales de demostración en Lean 4.
Idiomas:
English
José A. Alonso
Archivo
Etiquetas
(activo)
Categorías
Acerca de
RSS
Etiquetas
También disponible en:
English
ITP
LeanProver
Math
RetoLean4