Readings shared May 28, 2025
The readings shared in Bluesky on 28 May 2025 are
- Formalizing Fermat: an update. ~ Kevin Buzzard. #ITP #LeanProver #Math
- Algebraic geometry in Mathlib. ~ Andrew Yang. #ITP #LeanProver #Math
- REAL-Prover: Retrieval augmented Lean prover for mathematical reasoning. ~ Ziju Shen et als. #AI #TheoremProving #LeanProver #Math
- Faithful logic embeddings in HOL (Deep and shallow). ~ Christoph Benzmüller. #ITP #TheoremProving #IsabelleHOL #Logic #Math