Readings shared September 18, 2024
The readings shared in Mastodon on September 18, 2024 are
- Readings shared September 17, 2024. #ITP #LeanProver #Lean4 #IsabelleHOL #Math #Autoformalization #Emacs
- Combining classical and probabilistic independence reasoning to verify the security of oblivious algorithms. #ITP #IsabelleHOL
- Efficient formally verified maximal end component decomposition for MDPs. ~ Arnd Hartmanns, Bram Kohlen & Peter Lammich. #ITP #IsabelleHOL