J.A. Alonso - Newsletter
Suscribirse
Iniciar sesión
Inicio
FunctionalProgramming
Haskell
ITP
Lean4
Mathlib
IsabelleHOL
Coq
HOL_Light
ACL2
LogicProgramming
Prolog
Logic
AI
LLMs
ChatGPT
CategoryTheory
CompSci
Emacs
Math
Python
Archivo
Acerca de
AI
Último
Lo mejor de
Lecturas compartidas el 23 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Coq #FunctionalProgramming #Haskell #Math #AI
may 24, 2024
•
José A. Alonso
Lecturas compartidas el 6 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Coq #Math #AI #LLMs #Programming
may 7, 2024
•
José A. Alonso
Lecturas compartidas el 5 de mayo de 2024
#ITP #IsabelleHOL #Lean4 #AI #LLMs
may 6, 2024
•
José A. Alonso
Lecturas compartidas el 4 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #FunctionalProgramming #Haskell #Python #Math #AI
may 5, 2024
•
José A. Alonso
Lecturas compartidas el 3 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #FunctionalProgramming #Haskell #Python #Math #CompSci #Education #AI #GenerativeAI #MachineLearning #DeepLearning
may 4, 2024
•
José A. Alonso
Lecturas compartidas el 2 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Coq #Prover9 #Mace4 #FunctionalProgramming #Haskell #Python #Math #AI #ChatGPT
may 3, 2024
•
José A. Alonso
Lecturas compartidas el 24 de abril de 2024
#ITP #Lean4 #IsabelleHOL #PVS #Math #AI #Education
abr 25, 2024
•
José A. Alonso
Lecturas compartidas el 21 de abril de 2024
#ITP #Lean4 #IsabelleHOL #Math #CategoryTheory #AI #LLMs
abr 22, 2024
•
José A. Alonso
Lecturas compartidas el 20 de abril de 2024
#ITP #IsabelleHOL #FunctionalProgramming #Math #AI #LLMs #ChatGPT #Philosophy
abr 21, 2024
•
José A. Alonso
Lecturas compartidas el 18 de abril de 2024
#ITP #LeanProver #Lean4 #IsabelleHOL #Coq #Imandra #ATP #SMT #AI #DeepLearning #Math #CategoryTheory
abr 19, 2024
•
José A. Alonso
Lecturas compartidas el 15 de abril de 2024
#ITP #Lean4 #IsabelleHOL #Coq #PVS #FunctionalProgramming #Haskell #Math #AI #Education
abr 16, 2024
•
José A. Alonso
Lecturas compartidas el 12 de abril de 2024
#ITP #Lean4 #IsabelleHOL #Coq #FunctionalProgramming #Haskell #Math #IMO #AI #NeuralNetwork #Emacs #OrgMode
abr 13, 2024
•
José A. Alonso
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
