Lecturas compartidas el 11 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Agda #Coq #HOL_Light #Metamath #Mizar #Math #Programming #CommonLisp
Buenos días
Las lecturas compartidas en Mastodon el 11 de mayo de 2024 son
Lecturas compartidas el 10 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #SAT_solver #FunctionalProgramming #Haskell #Python #Math
La semana en Calculemus (Demostraciones con Lean4 e Isabelle/HOL) (11-mayo-24). #ITP #Lean4 #IsabelleHOL #Math
Algorithm and abstraction in formal mathematics. ~ Heather Macbeth. #ITP #Agda #Coq #Lean4 #HOL_Light #IsabelleHOL #Metamath #Mizar #Math
Course: Formalising Mathematics in Lean. ~ Adrián Doña Mateo, Monica Abu Omar, Patrick Kinnear and Simone Castellan. #ITP #Lean4 #Math
Course: Formalized Mathematics in Lean (Winter 23/24). ~ Floris van Doorn. #ITP #Lean4 #Math
Course: Theorem proving with Lean. ~ Damiano Testa. #ITP #Lean4 #Math
Partial correctness of the top-down solver (in Isabelle/HOL). ~ Yannick Stade, Sarah Tilscher, Helmut Seidl. #ITP #IsabelleHOL
LL(1) parser generator (in Isabelle/HOL). ~ Sarah Tilscher and Simon Wimmer. #ITP #IsabelleHOL
How to explore Lisp metaprogramming techniques. #CommonLisp
The way of Lisp or the right way. ~ Joe Marshall. #Lisp #Programming
También están en GitHub.
Saludos, José A.
"El que no sabe gozar de la ventura cuando le viene, no debe quejarse si se pasa." ~ Miguel de Cervantes (1547-1616).
