José A. Alonso · @Jose_A_Alonso
713 followers · 1206 posts · Server mathstodon.xyz#Vestigium: La semana en Exercitium (6 de mayo de 2023). https://www.glc.us.es/~jalonso/vestigium/29-abr-23 #Haskell #Python #Matemáticas
#matematicas #python #haskell #Vestigium
José A. Alonso · @Jose_A_Alonso
678 followers · 1055 posts · Server mathstodon.xyz#Vestigium: La semana en Exercitium (1 de abril de 2023). https://www.glc.us.es/~jalonso/vestigium/01-abr-23 #Haskell #Python #Algorítmica
#algoritmica #python #haskell #Vestigium
José A. Alonso · @Jose_A_Alonso
668 followers · 1034 posts · Server mathstodon.xyz#Vestigium: La semana en Exercitium (25 de marzo de 2023). https://www.glc.us.es/~jalonso/vestigium/25-mar-23 #Haskell #Python #Algorítmica
#algoritmica #python #haskell #Vestigium
José A. Alonso · @Jose_A_Alonso
660 followers · 993 posts · Server mathstodon.xyz#Vestigium: La semana en Exercitium (18 de marzo de 2023). https://www.glc.us.es/~jalonso/vestigium/18-mar-23/ #Haskell #Python #Algorítmica
#algoritmica #python #haskell #Vestigium
José A. Alonso · @Jose_A_Alonso
650 followers · 964 posts · Server mathstodon.xyz#Vestigium: La semana en Exercitium (11 de marzo de 2023). https://www.glc.us.es/~jalonso/vestigium/11-mar-23/ #Haskell #Python #Matemáticas #Algorítmica
#algoritmica #matematicas #python #haskell #Vestigium
José A. Alonso · @Jose_A_Alonso
638 followers · 872 posts · Server mathstodon.xyz#Vestigium: La semana en Exercitium (25 de febrero de 2023). https://www.glc.us.es/~jalonso/vestigium/25-feb-23/ #Haskell #Python #Algorítmica
#algoritmica #python #haskell #Vestigium
José A. Alonso · @Jose_A_Alonso
610 followers · 769 posts · Server mathstodon.xyz#Vestigium: La semana en Exercitium (11 de febrero de 2023). https://www.glc.us.es/~jalonso/vestigium/11-feb-23/ #Haskell #Python #Algorítmica
#algoritmica #python #haskell #Vestigium
José A. Alonso · @Jose_A_Alonso
595 followers · 723 posts · Server mathstodon.xyz#Vestigium: Relaciones entre la programación funcional y las matemáticas, según ChatGPT. https://www.glc.us.es/~jalonso/vestigium/05-feb-23 #ChatGPT #ProgramaciónFuncional #Matemáticas
#matematicas #programacionfuncional #chatgpt #Vestigium
José A. Alonso · @Jose_A_Alonso
595 followers · 719 posts · Server mathstodon.xyz#Vestigium: La semana en Exercitium (4 de febrero de 2023). https://www.glc.us.es/~jalonso/vestigium/04-feb-23/ #Haskell #Python
José A. Alonso · @Jose_A_Alonso
570 followers · 597 posts · Server mathstodon.xyz#Vestigium: La semana en Exercitium (21 de enero de 2023). https://www.glc.us.es/~jalonso/vestigium/21-ene-23 #Haskell #Python
José A. Alonso · @Jose_A_Alonso
563 followers · 535 posts · Server mathstodon.xyz#Vestigium: La semana en Exercitium (14 de enero de 2023). https://www.glc.us.es/~jalonso/vestigium/14-ene-23/ #Haskell #Python
José A. Alonso · @Jose_A_Alonso
556 followers · 472 posts · Server mathstodon.xyz#Vestigium: La semana en Exercitium (7 de enero de 2023). https://www.glc.us.es/~jalonso/vestigium/07-ene-23 #Haskell #Python #Matemáticas
#matematicas #python #haskell #Vestigium
José A. Alonso · @Jose_A_Alonso
542 followers · 433 posts · Server mathstodon.xyz#Vestigium: La semana en Exercitium (31 de diciembre de 2022). https://www.glc.us.es/~jalonso/vestigium/31-dic-22 #Haskell #Python
José A. Alonso · @Jose_A_Alonso
524 followers · 404 posts · Server mathstodon.xyz#Vestigium: La semana en Exercitium (24 de diciembre de 2022). https://www.glc.us.es/~jalonso/vestigium/24-dic-22 #Haskell #Python
José A. Alonso · @Jose_A_Alonso
461 followers · 356 posts · Server mathstodon.xyz#Vestigium: La semana en Exercitium (17 de diciembre de 2022). https://www.glc.us.es/~jalonso/vestigium/17-dic-22/#python #Haskell #Python #Matemáticas
#matematicas #python #haskell #Vestigium
José A. Alonso · @Jose_A_Alonso
438 followers · 310 posts · Server mathstodon.xyz#Vestigium: La semana en Exercitium (10 de diciembre de 2022). https://www.glc.us.es/~jalonso/vestigium/10-dic-22-2 #Haskell #Python
José A. Alonso · @Jose_A_Alonso
417 followers · 220 posts · Server mathstodon.xyz#Vestigium: La semana en Calculemus (4 de diciembre de 2022). https://www.glc.us.es/~jalonso/vestigium/04-dic-22 #ITP #LeanProver #Math
#math #leanprover #itp #Vestigium
José A. Alonso · @Jose_A_Alonso
413 followers · 218 posts · Server mathstodon.xyz#Vestigium: La semana en Exercitium (3 de diciembre de 2022). https://www.glc.us.es/~jalonso/vestigium/03-dic-22/ #Haskell #Python #Math
#math #python #haskell #Vestigium
José A. Alonso · @Jose_A_Alonso
380 followers · 162 posts · Server mathstodon.xyz#Vestigium: DAO: La semana en Calculemus (27 de noviembre). https://www.glc.us.es/~jalonso/vestigium/27-nov-22 #ITP #LeanProver #Math
#math #leanprover #itp #Vestigium
José A. Alonso · @Jose_A_Alonso
375 followers · 158 posts · Server mathstodon.xyz#Vestigium: La semana en Exercitium (26 de noviembre). https://www.glc.us.es/~jalonso/vestigium/26-nov-22/ #Haskell #Python #Math
#math #python #haskell #Vestigium