Readings shared June 3, 2025
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