J.A. Alonso - Newsletter
Suscribirse
Iniciar sesión
Comparte esto discussion
Lecturas compartidas el 25 de mayo de 2024
jalonso.substack.com
Copiar enlace
Facebook
Correo electrónico
Note
Otros
Lecturas compartidas el 25 de mayo de 2024
José A. Alonso
may 26
Comparte esto post
Lecturas compartidas el 25 de mayo de 2024
jalonso.substack.com
Copiar enlace
Facebook
Correo electrónico
Note
Otros
#ITP #Lean4 #IsabelleHOL #FunctionalProgramming #Haskell #Python #Math #LLMs #MachineLearning
Leer →
Comentarios
Compartir
Compartir
Copiar enlace
Facebook
Correo electrónico
Note
Otros
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
Lecturas compartidas el 25 de mayo de 2024
Lecturas compartidas el 25 de mayo de 2024
Lecturas compartidas el 25 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #FunctionalProgramming #Haskell #Python #Math #LLMs #MachineLearning