Lecturas compartidas el 29 de marzo de 2024
#Coq #Elm #FunctionalProgramming #Haskell #ITP #IsabelleHOL #Math
Buenos días
Las lecturas compartidas en Mastodon el 29 de marzo de 2024 s
Linear programming in Isabelle/HOL. ~ Julian Parsert. #ITP #IsabelleHOL #Math
Conditional separation as a binary relation (A Coq assisted proof). ~ Jean-Philippe Chancelier, Michel de Lara, Benjamin Heymann. #ITP #Coq
Haskell for Elm developers: giving names to stuff (Part 4 - Parser combinators). ~ Flavio Corpa (@FlavioCorpa). #Haskell #Elm #FunctionalProgramming
Why mathematics is boring. ~ John Baez. #Math
Some fundamental theorems in mathematics. ~ Oliver Knill. #Math
También están en GitHub.
Saludos, José A.
"Nada en la vida es tan importante como crees mientras piensas en ello." ~ Daniel Kahneman (1934-2024).
