Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @Jose_A_Alonso
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @Jose_A_Alonso
-
Pinned Tweet
Lecturas de programación funcional y demostración asistida por ordenador. https://github.com/jaalonso/Lecturas_GLC …
#FunctionalProgramming#Haskell#ITP#IsabelleHOL#Coq#LeanProverThanks. Twitter will use this to make your timeline better. UndoUndo -
Automated proof of Bell-LaPadula security properties. ~ Maximiliano Cristiá, Gianfranco Rossi. https://arxiv.org/abs/2001.10512
#ATP#SetLogThanks. Twitter will use this to make your timeline better. UndoUndo -
Intro to Kaleidoscopes: Optics for aggregating data through Applicatives. ~ Chris Penner (
@chrislpenner). https://chrispenner.ca/posts/kaleidoscopes …#Haskell#FunctionalProgrammingThanks. Twitter will use this to make your timeline better. UndoUndo -
List of open and free logic textbooks. ~ Richard Zach (
@RrrichardZach). https://github.com/OpenLogicProject/OpenLogic/wiki/Other-Logic-Textbooks …#LogicThanks. Twitter will use this to make your timeline better. UndoUndo -
#Exercitium: Enunciado de "Entre dos potencias sucesivas". https://www.glc.us.es/~jalonso/exercitium/entre-dos-potencias-sucesivas/ …#Haskell#ProgramaciónFuncional#Matemáticas#I1M2019Thanks. Twitter will use this to make your timeline better. UndoUndo -
#Exercitium: Soluciones de "La conjetura de Mertens". http://www.glc.us.es/~jalonso/exercitium/la-conjetura-de-mertens/ …#Haskell#ProgramaciónFuncional#Matemáticas#I1M2019Thanks. Twitter will use this to make your timeline better. UndoUndo -
Lecturas de programación funcional y demostración asistida por ordenador (2-feb-20). https://github.com/jaalonso/Lecturas_GLC#2-feb-20 …
#FunctionalProgramming#ITP#Coq#LeanProver#PrologThanks. Twitter will use this to make your timeline better. UndoUndo -
A formal development cycle for security engineering in Isabelle. ~ Florian Kammüller. https://arxiv.org/abs/2001.08983
#ITP#IsabelleHOLThanks. Twitter will use this to make your timeline better. UndoUndo -
MOIN: A nested sequent theorem prover for intuitionistic modal logics (system description). ~ Marianna Girlando, Lutz Straßburger. https://hal.inria.fr/hal-02457240/document …
#ATP#Prolog#LogicThanks. Twitter will use this to make your timeline better. UndoUndo -
Beyond notations: Hygienic macro expansion for theorem proving languages. ~ Sebastian Ullrich, Leonardo de Moura. https://arxiv.org/abs/2001.10490
#ITP#LeanProverThanks. Twitter will use this to make your timeline better. UndoUndo -
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Hilbert's tenth problem in Coq. ~ Dominique Larchey-Wendling, Yannick Forster. https://www.ps.uni-saarland.de/Publications/details/Larchey-WendlingForster:2019:H10_in_Coq.html …
#ITP#Coq#MathThanks. Twitter will use this to make your timeline better. UndoUndo -
Lecturas de programación funcional y demostración asistida por ordenador (1-feb-20). https://github.com/jaalonso/Lecturas_GLC#1-feb-20 …
#FunctionalProgramming#Haskell#ITP#Coq#IsabelleHOLThanks. Twitter will use this to make your timeline better. UndoUndo -
José A. Alonso Retweeted
Let’s all take a moment to enjoy the fact that today’s date is a palindrome for both big-endian and middle-endian date writing cultures. Happy 20200202!
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Completeness theorems for first-order logic analysed in constructive type theory. ~ Yannick Forster, Dominik Kirst, Dominik Wehr. https://www.ps.uni-saarland.de/Publications/documents/ForsterEtAl_2019_Completeness.pdf …
#ITP#Coq#LogicThanks. Twitter will use this to make your timeline better. UndoUndo -
Verified programming of Turing machines in Coq. ~ Yannick Forster, Fabian Kunze, Maximilian Wuttke. https://www.ps.uni-saarland.de/Publications/documents/ForsterEtAl_2019_VerifiedTMs.pdf …
#ITP#CoqThanks. Twitter will use this to make your timeline better. UndoUndo -
Demostración en Lean. https://www.glc.us.es/~jalonso/calculemus/teorema-de-nicomaco/#comment-11 …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
NP-completeness, part II. ~ Kevin Buchin. https://www.win.tue.nl/~kbuchin/teaching/2IL15/Slides/AlgorithmsLecture_10.pdf …
#CompSciThanks. Twitter will use this to make your timeline better. UndoUndo -
NP-completeness, part I. ~ Kevin Buchin. https://www.win.tue.nl/~kbuchin/teaching/2IL15/Slides/AlgorithmsLecture_9.pdf …
#CompSciThanks. Twitter will use this to make your timeline better. UndoUndo -
The weak call-by-value λ-calculus is reasonable for both time and space. ~ Yannick Forster, Fabian Kunze, Marc Roth. https://www.ps.uni-saarland.de/Publications/documents/ForsterKunzeRoth_2019_wcbv-Reasonable.pdf …
#ITP#CoqThanks. Twitter will use this to make your timeline better. UndoUndo -
Karp's 21 NP-complete problems. https://en.wikipedia.org/wiki/Karp%27s_21_NP-complete_problems …
#CompSciThanks. Twitter will use this to make your timeline better. UndoUndo
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.