#isabellehol — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #isabellehol, aggregated by home.social.
-
Readings shared December 29, 2025. https://jaalonso.github.io/vestigium/posts/2025/12/30-readings_shared_12-29-25 #AI #Agda #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #OCaml #Rocq #SMT
-
Readings shared December 19, 2025. https://jaalonso.github.io/vestigium/posts/2025/12/20-readings_shared_12-19-25 #AI #ITP #IsabelleHOL #LLMs #LeanProver #Math #Rocq
-
Prediction: AI will make formal verification go mainstream. ~ Martin Kleppmann. https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html #AI #LLMs #ITP #LeanProver #IsabelleHOL #Rocq