#hol4 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #hol4, aggregated by home.social.
-
Readings shared December 9, 2025. https://jaalonso.github.io/vestigium/posts/2025/12/10-readings_shared_12-09-25 #AI #FunctionalProgramming #HOL4 #HOL-Light #Haskell #ITP #IsabelleHOL #LeanProver #Math
-
Candle: A verified implementation of HOL Light. ~ Oskar Abrahamsson et als. https://link.springer.com/article/10.1007/s10817-025-09743-8 #ITP #HOL4 #HOL_Light
-
Lecturas compartidas el 8 de mayo de 2024. https://jalonso.substack.com/lecturas-compartidas-el-8-de-mayo #ITP #Lean4 #IsabelleHOL #HOL_Light #Coq #HOL4 #Math