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
LogicProgramming
Lecturas compartidas el 11 de abril de 2024
#Prolog #LogicProgramming #Math
abr 12, 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 24 de marzo de 2024
#AI #CompSci #FunctionalProgramming #ITP #Lean4 #LeanProver #LogicProgramming #NeuralNetwork #PVS #Prolog #Python
mar 25, 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 16 de marzo de 2024
#Coq #FormalVerification #ILP #ITP #IsabelleHOL #Lean4 #LogicProgramming #SMT #cvc5
mar 17, 2024
•
José A. Alonso
Lecturas compartidas el 2 de marzo de 2024
Lecturas sobre Emacs, FunctionalProgramming, Haskell, LogicProgramming y Prolog.
mar 3, 2024
•
José A. Alonso
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts