J.A. Alonso - Newsletter
Suscribirse
Iniciar sesión
Comparte esto discussion
Lecturas compartidas el 6 de mayo de 2024
jalonso.substack.com
Copiar enlace
Facebook
Correo electrónico
Note
Otros
Lecturas compartidas el 6 de mayo de 2024
José A. Alonso
may 7
Comparte esto post
Lecturas compartidas el 6 de mayo de 2024
jalonso.substack.com
Copiar enlace
Facebook
Correo electrónico
Note
Otros
#ITP #Lean4 #IsabelleHOL #Coq #Math #AI #LLMs #Programming
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 6 de mayo de 2024
Lecturas compartidas el 6 de mayo de 2024
Lecturas compartidas el 6 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Coq #Math #AI #LLMs #Programming