Ir al contenido principal
Vestigium
Cuaderno de Investigación en Lógica Computacional
Idiomas:
English
Archivo
Categorías
Etiquetas
Acerca de
RSS
José A. Alonso
Publicaciones sobre Idris2
Canal RSS (Idris2, es)
20-09-2025
Readings shared September 19, 2025