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 Multip

Readings shared June 28, 2025. jaalonso.github.io/vestigium/po... #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Prologp