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 13:00:01 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://jaalonso.github.io/vestigium/posts/2024/08/31-readings_shared_08-30-24/José A. Alonso<p>The readings shared in <a href="https://mathstodon.xyz/@Jose_A_Alonso">Mastodon</a> on August 30, 2024 are</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2024/08/30-readings_shared_08-29-24">Readings shared August 29, 2024</a>. #ITP #Lean4 #IsabelleHOL #Coq #Math #Calculemus</li> <li><a href="https://www.isa-afp.org/entries/Prop_Compactness.html">Compactness theorem for propositional logic and combinatorial applications</a>. ~ Fabián Fernando Serran Suárez, Thaynara Arielly de Lima &amp; Mauricio Ayala-Rincón. #ITP #IsabelleHOL #Logic #Math</li> <li><a href="https://arxiv.org/abs/2408.1403">Law and order for typestate with borrowing</a>. ~ Hannes Saffrich, Yuki Nishida &amp; Peter Thiemann.1# #ITP #Agda</li> <li><a href="https://abhinavsarkar.net/posts/nix-for-haskell/">Getting started with Nix for Haskell</a>. ~ Abhinav Sarkar. #Nix #Haskell #FunctionalProgramming</li> <li><a href="https://ntrs.nasa.gov/citations/20240010266">Logic programming with extensible types</a>. ~ Ivan Perez &amp; Angel Herranz. #Haskell #FunctionalProgramming #LogicProgramming</li> </ul>AgdaFunctionalProgrammingHaskellIsabelleHOLITPLogicLogicProgrammingMathNixhttps://jaalonso.github.io/vestigium/posts/2024/08/31-readings_shared_08-30-24/Sat, 31 Aug 2024 04:00:00 GMT