J.A. Alonso - Newsletter

J.A. Alonso - Newsletter

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

HOL_Light

Lecturas compartidas el 11 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Agda #Coq #HOL_Light #Metamath #Mizar #Math #Programming #CommonLisp
may 12, 2024 • 
José A. Alonso
Lecturas compartidas el 8 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #HOL_Light #Coq #HOL4 #Math
may 9, 2024 • 
José A. Alonso
Lecturas compartidas el 28 de abril de 2024
#ITP #Lean4 #IsabelleHOL #HOL_Light #Math
abr 29, 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 18 de marzo de 2024
#AI #ATP #Coq #FunctionalProgramming #HOL_Light #Haskell #ITP #IsabelleHOL #LLMs #Lean4 #LeanProver #MachineLearning #Math #ProofAssistants
mar 19, 2024 • 
José A. Alonso
© 2025 José A. Alonso
Privacidad ∙ Términos ∙ Aviso de recolección
Empieza a escribirDescargar la app
Substack es el hogar de la gran cultura