The readings shared in Bluesky on 3 June 2025 are

• Project Numina and AI for Theorem Proving. ~ Yann Fleureau. #AI #Math #ITP #LeanProver
• Restriction spaces: a fixed-point theory (in Isabelle/HOL). ~ Benoît Ballenghienm, Benjamin Puyobro, Burkhart Wolff. #ITP #IsabelleHOL
• Automated symmetric constructions in discrete geometry. ~ Bernardo Subercaseaux, Ethan Mackey, Long Qian, Marijn J. H. Heule. #ATP #SAT_Solvers #Math
• Coalgebraic proof translations for non-wellfounded proofs. ~ Borja Sierra Miranda, Thomas Studer, Lukas Zenger. #Logic #Math
• 25 Useful tips for Emacs (for beginners and advanced users). ~ Raoul Comninos. #Emacs
• Debate sobre IA y enseñanza de las matemáticas. #IA #Matemáticas