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
Logic
Último
Lo mejor de
Lecturas compartidas el 19 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Haskell #Python #Logic #Math
may 20, 2024
•
José A. Alonso
Lecturas compartidas el 16 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Agda #Logic #Math #FunctionalProgramming #Haskell #LLMs
may 17, 2024
•
José A. Alonso
Lecturas compartidas el 7 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Agda #SMT #Logic #Math #LLMs
may 8, 2024
•
José A. Alonso
Lecturas compartidas el 30 de abril de 2024
#ITP #Lean4 #IsabelleHOL #Coq #ATP #SMT #FunctionalProgramming #Haskell #Python #Logic #Math
may 1, 2024
•
José A. Alonso
Lecturas compartidas el 16 de abril de 2024
#ITP #Lean4 #IsabelleHOL #Coq #HOL_Light #SMT #Haskell #Python #Logic #Math #CompSci
abr 17, 2024
•
José A. Alonso
Lecturas compartidas el 9 de abril de 2024
#ITP #Lean4 #IsabelleHOL #Coq #Math #LLMs #Logic #Emacs #OrgMode
abr 10, 2024
•
José A. Alonso
Lecturas compartidas el 3 de abril de 2024
#ITP #LeanProver #IsabelleHOL #Coq #HOL4 #Haskell #LogicProgramming #Prolog #Python #Logic #Math #AI #LLMs #Autoformalization
abr 4, 2024
•
José A. Alonso
Lecturas compartidas el 2 de abril de 2024
#ATP #Coq #Haskell #ITP #IsabelleHOL #Lean4 #LeanProver #Logic #Math #Python
abr 3, 2024
•
José A. Alonso
Lecturas compartidas el 23 de marzo de 2024
#AI #ATP #DeepLearning #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #Lean4 #LeanProver #Logic #Mace4 #MachineLearning #NeuralNetwork #Prover9
mar 24, 2024
•
José A. Alonso
1
Lecturas compartidas el 21 de marzo de 2024
#AI #Agda #CompSci #Coq #Education #FunctionalProgramming #Haskell #ITP #LLMs #Logic #Math #Reasoning
mar 22, 2024
•
José A. Alonso
Lecturas compartidas el 17 de marzo de 2024
#ATP #CurryHoward #FunctionalProgramming #Haskell #ILP #ITP #LambdaCalculus #Lean4 #Logic #LogicProgramming #Math #Programming #Python
mar 18, 2024
•
José A. Alonso
Lecturas compartidas el 13 de marzo de 2024
Lecturas de razonamiento automático, lógica matemática y computación
mar 14, 2024
•
José A. Alonso
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
