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/16-readings_shared_08-15-24/José A. Alonso<p>The readings shared in <a href="https://mathstodon.xyz/@Jose_A_Alonso">Mastodon</a> on August 15, 2024 are</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2024/08/15-readings_shared_08-14-24/">Readings shared August 14, 2024</a>. #ITP #LeanProver #Lean4 #IsabelleHOL #Math #AI #MachineLearning</li> <li><a href="https://comp.anu.edu.au/courses/comp4011-itp/lectures/comp4011_slides.pdf">Software verification with Isabelle/HOL</a>. ~ Peter Höfner. #ITP #IsabelleHOL</li> <li><a href="https://github.com/clayrat/fav-ssr/">Functional algorithms verified in SSReflect</a>. ~ Alex Gryzlov et als. #ITP #Coq #SSReflect</li> <li><a href="https://flaviocorpa.com/haskell-for-elm-developers-giving-names-to-stuff-part-5-semigroups-and-monoids.html">Haskell for Elm developers: giving names to stuff (Part 5 - Semigroups and Monoids)</a>. ~ Flavio Corpa. #Haskell #Elm #FunctionalProgramming</li> <li><a href="https://www.youtube.com/live/NTW62s3mrXQ">The Haskell Unfolder Episode 31: nothunks</a>. ~ Edsko de Vries, Andres Löh. #Haskell #FunctionalProgramming</li> <li><a href="https://arxiv.org/abs/2408.07499">Galois theory</a>. ~ Tom Leinster. #Math</li> </ul>CoqElmFunctionalProgrammingHaskellIsabelleHOLITPMathSSReflecthttps://jaalonso.github.io/vestigium/posts/2024/08/16-readings_shared_08-15-24/Fri, 16 Aug 2024 04:00:00 GMT