Readings shared August 21, 2024
The readings shared in Mastodon on August 21, 2024 are
- Readings shared August 20, 2024. #ITP #Lean4 #Coq #ACL2 #AlphaProof #Math #Haskell #FunctionalProgramming #Logic #Math #CategoryTheory #TypeTheory
- Probabilistic reasoning and formal proof. ~ Lawrence Paulson (@LawrPaulson@mathstodon.xyz). #ITP #IsabelleHOL #Math
- Writing a small program with input and output in the Lean functional programming language. ~ Adolfo Neto (@adolfoneto@bertha.social). #Lean4 #FunctionalProgramming
- Worklist algorithms (in Isabelle/HOL). ~ Simon Wimmer & Peter Lammich. #ITP #IsabelleHOL
- Trustworthy verification of realtime systems. ~ Simon Wimmer. #ITP #IsabelleHOL
- Verified model checking of timed automata. ~ Simon Wimmer & Peter Lammich. #ITP #IsabelleHOL