José A. Alonso
Readings shared August 1, 2025. https://jaalonso.github.io/vestigium/posts/2025/08/02-readings_shared_08-01-25 #Haskell #LeanProver #Math #ProofAssistant
Readings shared August 1, 2025

The readings shared in Bluesky on 1 August 2025 are Unconstrained optimization (in Isabelle/HOL). ~ Dustin Bryant. #ITP #IsabelleHOL #Math Seed-Prover: Deep and broad reasoning for automated theorem

Vestigium
Aug 2, 2025 at 6:45amWeb