José A. Alonso
Readings shared October 6, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/07-readings_shared_10-06-25 #AI #CoqProver #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math #PVS #RustLang
Readings shared October 6, 2025

The readings shared in Bluesky on 6 October 2025 are: An introduction to formal real analysis (Lecture 8: Advanced limit theorems and induction). ~ Alex Kontorovich. #ITP #LeanProver #Math Formal ver

Vestigium
Oct 7 at 7:17amWeb