The readings shared in Bluesky on 21 February 2025 are

• Machine-assisted proofs (February 19, 2025). ~ Terence Tao. #ITP #LeanProver #AI #Math
• Formalisation of combinatorial optimisation in Isabelle/HOL: Network flows. ~ Thomas Ammer. #ITP #IsabelleHOL #Math
• A Coq implementation of a theory of tagged objects. ~ Matthew Gates, Alex Potanin. #ITP #Coq #Rocq
• Formal analysis of electrical circuit network topologies using theorem proving, ~ Kubra Aksoy, Adnan Rashid1, Osman Hasan, Sofiene Tahar. #ITP #IsabelleHOL
• Learn programming with OCaml (Algorithms and data structures). ~ Sylvain Conchon, Jean-Christophe Filliâtre. #OCaml #FunctionalProgramming
• Formalizing complex mathematical statements with LLMs: A study on mathematical definitions. ~ Lan Zhang, Marco Valentino, Andre Freitas. #LLMs #Math #Autoformalization #ITP #IsabelleHOL
• Diverse inference and verification for advanced reasoning. ~ Iddo Drori et als. #LLMs #ITP #LeanProver #Autoformalization
• Advice for writing proofs. ~ Evan Chen (2023). #Math
• Intro to proofs for the morbidly curious. ~ Evan Chen (2024). #Math