Lecturas compartidas el 4 de agosto de 2024
Las lecturas compartidas en Mastodon el 4 de agosto de 2024 son
- Lecturas compartidas el 3 de agosto de 2024. #Math
- The top-down solver verified: Building confidence in static analyzers. Yannick Stade, Sarah Tilscher & Helmut Seidl. #ITP #IsabelleHOL
- Sociomathematical norms and automated proof checking in mathematical education: Reflections and experiences. ~ Merlin Carl. #ITP #Diproche #Math