J.A. Alonso - Newsletter
Suscribirse
Iniciar sesión
Comparte este post
J.A. Alonso - Newsletter
Lecturas compartidas el 9 de mayo de 2024
Copiar enlace
Facebook
Email
Notes
Más
Lecturas compartidas el 9 de mayo de 2024
José A. Alonso
may 10
Comparte este post
J.A. Alonso - Newsletter
Lecturas compartidas el 9 de mayo de 2024
Copiar enlace
Facebook
Email
Notes
Más
#ITP #Lean4 #IsabelleHOL #FunctionalProgramming #Haskell #Python #Math #CategoryTheory
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 9 de mayo de 2024
Comparte este post
#ITP #Lean4 #IsabelleHOL #FunctionalProgramming #Haskell #Python #Math #CategoryTheory