The readings shared in Bluesky on 25 February 2025 are

• Towards a formalized theory of solid modules. ~ Dagur Asgeirsson. #PhDThesis #ITP #LeanProver #Math
• Prove your colorings: Formal verification of cache coloring of Bao hypervisor. ~ Axel Ferréol, Laurent Corbin, Nikolai Kosmatov. #ITP #Coq #Rocq
• Logic.py: Bridging the gap between LLMs and constraint solvers. ~ Pascal Kesseli, Peter O'Hearn, Ricardo Silveira Cabral. #LLMs #Logic #SAT #SMT