Readings shared June 28, 2025
The readings shared in Bluesky on 28 June 2025 are
- IsaBIL: A framework for verifying (in)correctness of binaries in Isabelle/HOL. ~ Matt Griffin, Brijesh Dongol, Azalea Raad. #ITP #IsabelleHOL
- Multiparty asynchronous session types: A mechanised proof of subject reduction. ~ Authors Dawit Tirore, Jesper Bengtson, Marco Carbone. #ITP #CoqProver
- Competitive programming in Haskell: prefix sums. ~ Brent Yorgey. #Haskell #FunctionalProgramming
- ProofAug: Efficient neural theorem proving via fine-grained proof structure analysis. ~ Haoxiong Liu et als. #LLMs #ITP #IsabelleHOL #LeanProver
- Curso "Lógica informática (2014-15)". #Lógica #ProgramaciónLógica #Prolog
- Temas de "Lógica informática" (curso 2014-15). #Lógica #ProgramaciónLógica #Prolog
- Ejercicios de "Lógica informática" (curso 2014-15). #Lógica
- Curso "Lógica matemática y fundamentos (2014-15)". #Lógica #Haskell #ProgramaciónFuncional #IsabelleHOL