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
Mathlib
Lecturas compartidas el 14 de abril de 2024
#ITP #Lean4 #Mathlib
abr 15, 2024
•
José A. Alonso
Lecturas compartidas el 4 de abril de 2024
#ITP #IsabelleHOL #Lean4 #Mathlib #PVS #FunctionalProgramming #Haskell #Python
abr 5, 2024
•
José A. Alonso
Lecturas compartidas el 20 de marzo de 2024
#Coq #Dafny #FormalVerification #HOL #ITP #LeanProver #Lisa #Mathlib
mar 21, 2024
•
José A. Alonso
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts