Readings shared December 5, 2025
The readings shared in Bluesky on 5 December 2025 are:
- Formalization of Erdős problems. ~ Boris Alexeev. #ITP #LeanProver #Math #Autoformalization
- A Rocq formalization of monomial and graded orders. ~ Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero. #ITP #Rocq #Math
- Certified G2 manifold construction. ~ Brieuc de La Fournière. #ITP #LeanProver
- Automated reasoning for uncertain Markov processes. ~ Muhammad Maaz. #ATP #SMT #Z3
- Haskell is a great language for data science. ~ Jonathan Carroll. #Haskell #FunctionalProgramming #DataScience #Rstats
- Reseña de «Formalization of Erdős problems». #ITP #LeanProver #Math #Autoformalization
- #Exercitium: Normalización de expresiones aritméticas. #Haskell #ProgramaciónFuncional #Matemáticas