Readings shared September 2, 2024
The readings shared in Mastodon on September 2, 2024 are
- Readings shared September 1, 2024. #ITP #Agda
- Proofs of "If (∀ ε > 0, y ≤ x + ε), then y ≤ x" in Lean4 and Isabelle/HOL. #ITP #Lean4 #IsabelleHOL #Math #Calculemus
- Maude2Lean: Theorem proving for Maude specifications using Lean. ~ Rubén Rubio & Adrián Riesco. #ITP #LeanProver #Maude
- Scaling the evolution of verified software. ~ Kiran Gopinathan. #PhDThesis #ITP #Coq
- Ramsey number bounds (in Isabelle/HOL). ~ Lawrence C. Paulson (@LawrPaulson@mathstodon.xyz). #ITP #IsabelleHOL #Math
- Lean 4.11.0. ~ David Thrane Christiansen (@dchristiansen@mathstodon.xyz). #ITP #Lean4 #FunctionalProgramming