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:57 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://jaalonso.github.io/vestigium/posts/2025/05/05-readings_shared_05-05-25/José A. Alonso<p>The readings shared in <a href="https://bsky.app/profile/jalonso.bsky.social">Bluesky</a> on 5 May 2025 are</p> <ul> <li><a href="https://digitalcommons.chapman.edu/eecs_theses/3/">Compiling Haskell into Lean: A common abstract syntax for Haskell and interactive theorem provers</a>. ~ Talitha Holcombe. #Haskell #FunctionalProgramming #ITP #LeanProver</li> <li><a href="https://journals-sol.sbc.org.br/index.php/rbie/article/download/4500/3206">Avaliando a habilidade do ChatGPT de realizar provas de dedução natural em lógica proposicional e lógica de predicados</a>. ~ Francisco Leonardo Batista Martins et als. #LLLms #ChatGPT #Logic</li> <li><a href="https://alhassy.com/TypedLisp.html">Typed Lisp, a primer</a>. ~ Musa Al-hassy (2019). #CommonLisp #Haskell</li> </ul>ChatGPTCommonLispFunctionalProgrammingHaskellITPLeanProverLLLmsLogichttps://jaalonso.github.io/vestigium/posts/2025/05/05-readings_shared_05-05-25/Mon, 05 May 2025 04:00:00 GMT