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/05-lecturas_compartidas_el_04-ago-24/José A. Alonso<p>Las lecturas compartidas en <a href="https://mathstodon.xyz/@Jose_A_Alonso">Mastodon</a> el 4 de agosto de 2024 son</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2024/08/04-lecturas_compartidas_el_03-ago-24">Lecturas compartidas el 3 de agosto de 2024</a>. #Math</li> <li><a href="https://link.springer.com/chapter/10.1007/978-3-031-65627-9_15">The top-down solver verified: Building confidence in static analyzers</a>. Yannick Stade, Sarah Tilscher &amp; Helmut Seidl. #ITP #IsabelleHOL</li> <li><a href="https://scholarship.claremont.edu/cgi/viewcontent.cgi?article=1991&amp;context=jhm">Sociomathematical norms and automated proof checking in mathematical education: Reflections and experiences</a>. ~ Merlin Carl. #ITP #Diproche #Math</li> </ul>DiprocheIsabelleHOLITPMathhttps://jaalonso.github.io/vestigium/posts/2024/08/05-lecturas_compartidas_el_04-ago-24/Mon, 05 Aug 2024 04:00:00 GMT