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
Prolog
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 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