Readings shared July 4, 2025
The readings shared in Bluesky on 4 July 2025 are
- LeanConjecturer: Automatic generation of mathematical conjectures for theorem proving. ~ Naoto Onda et als. #ITP #LeanProver #Math #LLMs
- An introduction logical foundations of types and programming language. ~ Brigitte Pientka. #TypeTheory
- Reflections on Haskell and Rust. ~ Sibi Prabakaran. #Haskell #FunctionalProgramming #Rust
- Category theory: Introducing the perfect language. ~ Richard Southwell #CategoryTheory
- Reseña de «LeanConjecturer: Automatic generation of mathematical conjectures for theorem proving». #ITP #LeanProver #Math #LLMs
- Curso "Razonamiento automático (2017-18)". #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL
- Curso "Lógica matemática y fundamentos (2017-18)". #Lógica #IsabelleHOL