Bluesky Explorer

#Prologp

Latest posts tagged with #Prologp on Bluesky

Trending

#Vaccine Policy #DLSS 5 #Oscars #Strait of Hormuz #Sonic Racing #Ukraine Conflict #MJF Tribute #Javier Bardem #WBC #Marty Supreme #Vaccine Policy #DLSS 5 #Oscars #Strait of Hormuz #Sonic Racing #Ukraine Conflict #MJF Tribute #Javier Bardem #WBC #Marty Supreme

Posts tagged #Prologp

José A. Alonso

@jalonso.eurosky.social

8 months ago

Preview

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

0 0 0 0