José A. Alonso
Readings shared March 24, 2026. https://jaalonso.github.io/vestigium/posts/2026/03/25-readings_shared_02-24-26 #AI4Math #Autoformalization #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math
Readings shared March 24, 2026

The readings shared in Bluesky on 24 March 2026 are: Synthetic differential geometry in Lean. ~ Riccardo Brasca, Gabriella Clemente. #LeanProver #ITP #Math The spectral comb and the Riemann hypothesi

Vestigium
Mar 25 at 9:44amWeb