Vestigium (Publicaciones sobre Liquid)https://jaalonso.github.io/vestigium/esContents © 2026 <a href="mailto:">José A. Alonso</a> <a rel="license" href="https://creativecommons.org/licenses/by-nc-sa/4.0/"> <img alt="Creative Commons License BY-NC-SA" style="border-width:0; margin-bottom:12px;" src="https://i.creativecommons.org/l/by-nc-sa/4.0/88x31.png"></a>Thu, 01 Oct 2026 12:59:55 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rssReadings shared March 21, 2025https://jaalonso.github.io/vestigium/posts/2025/03/21-readings_shared_03-21-25/José A. Alonso<p>The readings shared in <a href="https://bsky.app/profile/jalonso.bsky.social">Bluesky</a> on 21 March 2025 are</p> <ul> <li><a href="https://arxiv.org/abs/2503.15541v1">Case study: Verified Vampire proofs in the LambdaPi-calculus modulo</a>. ~ Anja Petković Komel, Michael Rawson, Martin Suad. #ATP #Vampire #Dedukti</li> <li><a href="https://www.tweag.io/blog/2025-03-20-lh-release/">A hundred pull requests for Liquid Haskell</a>. ~ Facundo Domínguez. #Liquid #Haskell #FunctionalProgramming #SMT</li> <li><a href="https://www.science.org/doi/10.1126/science.adw5211">Artificial intelligence learns to reason</a>. ~ Melanie Mitchell. #AI #LLMs #Reasoning</li> <li><a href="https://jaalonso.github.io/exercitium/posts/2014/05/06-lista_cuadrada/">#Exercitium: Lista cuadrada</a>. #Haskell #ProgramaciónFuncional</li> <li><a href="https://jaalonso.github.io/calculemus/posts/2021/05/19-diferencia_de_diferencia_de_conjuntos/">Demostraciones de "(a ∖ b) ∖ c ⊆ a ∖ (b ∪ c)" con Lean4 y con Isabelle/HOL</a>. #LeanProver #IsabelleHOL #Math #Calculemus</li> <li><a href="https://jaalonso.github.io/cursos/li-08/index.html">Curso "Lógica informática (2008-09)"</a>. #Lógica #Matemática #Computación</li> <li><a href="https://jaalonso.github.io/cursos/pd-08">Curso "Programación declarativa (2008-09)"</a>. #ProgramaciónFuncional #Haskell #ProgramaciónLógica #Prolog</li> </ul>AIATPDeduktiFunctionalProgrammingHaskellIsabelleHOLLeanProverLiquidLLMsLogicMathPrologReasoningSMTVampirehttps://jaalonso.github.io/vestigium/posts/2025/03/21-readings_shared_03-21-25/Fri, 21 Mar 2025 04:00:00 GMT