Readings shared September 23, 2025 The readings shared in Bluesky on 23 September 2025 are: Formalising new mathematics in Isabelle: Diagonal Ramsey. ~ Lawrence C. Paulson. #ITP #IsabelleHOL #Math A formal analysis of algorithms for m

Readings shared September 23, 2025. jaalonso.github.io/vestigium/po... #Abella #Agda #CategoryTheory #CoqProver #FunctionalProgramming #HOL4 #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Naproche #Rocq #RustLang

A natural language formalization of perfectoid rings in ℕaproche. ~ Peter Koepke. drops.dagstuhl.de/storage/00li... #ITP #Naproche #Math