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

• Lecturas compartidas el 15 de julio de 2024. #ITP #Lean4 #IsabelleHOL #Logic #Math #CompSci #Haskell #Prolog
• A term-patching framework for eliminating definitional equalities in Lean (Work-in-progress). ~ Rishikesh Vaishnav. #ITP #Lean4
• Guided proof search using large language models and lemma extraction in Coq. ~ Tarun Prasad. #ITP #Coq #LLMs
• Code completion with Google Gemini for Emacsen. ~ Hitoshi Uchida. #Programming #Emacs #Gemini