The readings shared in Bluesky on 9 June 2025 are

• Formalizing invisible mathematics: case studies from higher category theory. ~ Emily Riehl. #ITP #LeanProver #Math #CategoryTheory
• Sequencelib: A platform for formalizing in Lean 4 sequences from "The On-Line Encyclopedia of Integer Sequences" (OEIS). ~ Walter Moreira, Joe Stubbs. #ITP #LeanProver #Math
• At secret math meeting, researchers struggle to outsmart AI. ~ Lyndie Chiou. #AIforMath #AI #LLMs #Math
• Comparing code: Spatial reasoning with zigzag patterns! ~ James Bowen. #Haskell #FunctionalProgramming #Rust
• Exploring topological spaces with Prolog: A practical approach using "Mathematics with Prolog". ~ Kenichi Sasagawa. #Prolog #LogicProgramming #Math
• Teaching and learning mathematics with Prolog. ~ Tom Bensky (2021). #Prolog #LogicProgramming #Math
• Evaluando la IA con problemas matemáticos inéditos de nivel experto. #AIforMath #AI #LLMs #Math
• Curso "Lógica informática (2012-13)". #Lógica #ProgramaciónLógica #Prolog
• Curso "Lógica matemática y fundamentos (2012-13)". #Lógica #Haskell #ProgramaciónFuncional #Isabelle/HOL