#automath — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #automath, aggregated by home.social.
-
Readings shared November 2, 2025. https://jaalonso.github.io/vestigium/posts/2025/11/03-readings_shared_11-02-25 #AI #Agda #Automath #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LCF #LLM #LeanProver #Physics #TypeTheory
-
"Why don't you use dependent types?" ~ Lawrence Paulson. https://lawrencecpaulson.github.io//2025/11/02/Why-not-dependent.html #ITP #Automath #LCF #IsabelleHOL #LeanProver #TypeTheory