José A. Alonso
Readings shared September 20, 2025. https://jaalonso.github.io/vestigium/posts/2025/09/21-readings_shared_09-20-25 #AI #ATP #FormalVerification #FunctionalProgramming #ITP #LeanProver #Logic #LogicProgramming #Math
Readings shared September 20, 2025

The readings shared in Bluesky on 20 September 2025 are: Everything you know is wrong. ~ Lawrence Paulson. #AI #Logic #ATP #ITP #FunctionalProgramming #LogicProgramming #FormalVerification An introdu

Vestigium
Sep 21 at 6:46amWeb