Las lecturas compartidas en Mastodon el 7 de julio de 2024 son

• Lecturas compartidas el 6 de julio de 2024. #ITP #Coq #Math
• Lean: Past, present, and future. ~ Sebastian Ullrich.f#page=61 #ITP #Lean4
• Categorical foundations of formalized condensed mathematics. ~ Dagur Asgeirsson et als. #ITP #Lean4 #Math
• A Lean formalization of Cedar. ~ Bhakti Shah. #ITP #Lean4
• A verified algorithm for deciding pattern completeness. ~ René Thiemann, Akihisa Yamada. #ITP #IsabelleHOL #Haskell
• On synthesising Linux kernel module components from Coq formalisations. ~ Mario Frank. #PhDThesis #ITP #Coq
• Monads, comonads, and transducers. ~ Rafał Stefański. #ITP #Coq
• Machine-checked categorical diagrammatic reasoning. ~ Benoît Guillemet, Assia Mahboubi, Matthieu Piquerez. #ITP #Coq
• Mechanized subject expansion in uniform intersection types for perpetual reductions. ~ Andrej Dudenhefner, Daniele Pautasso. #ITP #Coq
• Substitution for non-wellfounded syntax with binders through monoidal categories. ~ Ralph Matthes, Kobe Wullaert, Benedikt Ahrens. #ITP #Coq
• Delooping generated groups in homotopy type theory. ~ Camil Champin, Samuel Mimram, Émile Oleon. #ITP #Agda #Math