José A. Alonso
Readings shared November 23, 2025. https://jaalonso.github.io/vestigium/posts/2025/11/24-readings_shared_11-23-25 #AI #Agda #AlphaProof #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LeanProver #Math #OCaml #Rocq
Readings shared November 23, 2025

The readings shared in Bluesky on 23 November 2025 are: DeepMind’s latest: An AI for handling mathematical proofs. ~ Jacek Krywko. #AI #Math #LLMs #ITP #LeanProver #AlphaProof Verified certification

Vestigium
Nov 24 at 12:23pmWeb