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
Coq
Último
Lo mejor de
Lecturas compartidas el 24 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Coq #Math
may 25, 2024
•
José A. Alonso
Lecturas compartidas el 21 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Coq #SMT #Z3 #FunctionalProgramming #Haskell #Python #Math
may 22, 2024
•
José A. Alonso
Lecturas compartidas el 18 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Coq #Agda #Physics #Math #Programming #Python
may 19, 2024
•
José A. Alonso
Lecturas compartidas el 15 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #PVS #Coq #Math
may 16, 2024
•
José A. Alonso
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 6 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Coq #Math #AI #LLMs #Programming
may 7, 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 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 25 de abril de 2024
#ITP #Lean4 #IsabelleHOL #Coq #ACL2 #Math
abr 26, 2024
•
José A. Alonso
Lecturas compartidas el 23 de abril de 2024
#ITP #Lean4 #IsabelleHOL #Coq #FunctionalProgramming #Math #CompSci
abr 24, 2024
•
José A. Alonso
Lecturas compartidas el 22 de abril de 2024
#ITP #Lean4 #IsabelleHOL #Coq #Agda #FunctionalProgramming #Haskell #Nix #Math #IMO
abr 23, 2024
•
José A. Alonso
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
