J.A. Alonso - Newsletter
Suscribirse
Iniciar sesión
Comparte este post
J.A. Alonso - Newsletter
Lecturas compartidas el 16 de mayo de 2024
Copiar enlace
Facebook
Email
Notes
Más
Lecturas compartidas el 16 de mayo de 2024
José A. Alonso
may 17
Comparte este post
J.A. Alonso - Newsletter
Lecturas compartidas el 16 de mayo de 2024
Copiar enlace
Facebook
Email
Notes
Más
#ITP #Lean4 #IsabelleHOL #Agda #Logic #Math #FunctionalProgramming #Haskell #LLMs
Leer →
Comentarios
Compartir
Copiar enlace
Facebook
Email
Notes
Más
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
Comparte este post
Lecturas compartidas el 16 de mayo de 2024
Comparte este post
#ITP #Lean4 #IsabelleHOL #Agda #Logic #Math #FunctionalProgramming #Haskell #LLMs