The readings shared in Mastodon on August 31, 2024 are

• Readings shared August 30, 2024. #ITP #IsabelleHOL #Agda #Logic #Math #Nix #Haskell #FunctionalProgramming #LogicProgramming
• Proofs of "If x is the supremum of set A, then (∀ y, y < x → ∃ a ∈ A, y < a) in Lean4 and Isabelle/HOL. #ITP #Lean4 #IsabelleHOL #Math #Calculemus
• Unifying model execution and deductive verification with interaction trees in Isabelle/HOL. ~ Simon Foster, Chung-Kil Hur & Jim Woodcock.7# #ITP #IsabelleHOL
• Certification of sorting algorithms using Theorema and Coq. ~ Isabela Drămnesc, Tudor Jebelean & Sorin Stratulat. #ITP #Theorema #Coq
• Investigations in graph-theoretical constructions in Homotopy Type Theory. ~ Jonathan Prieto-Cubides. #PhDThesis #ITP #Agda #HoTT