Sign in Create account

#hol4 — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #hol4, aggregated by home.social.

José A. Alonso @[email protected] · 2025-12-10 · 10:16 UTC

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

#math #leanprover #isabellehol #itp #haskell #hol
José A. Alonso @[email protected] · 2025-12-09 · 10:30 UTC

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

#hol_light #hol4 #itp
José A. Alonso @[email protected] · 2025-09-24 · 06:46 UTC

Readings shared September 23, 2025. https://jaalonso.github.io/vestigium/posts/2025/09/24-readings_shared_09-23-25 #Abella #Agda #CategoryTheory #CoqProver #FunctionalProgramming #HOL4 #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Naproche #Rocq #RustLang

#rustlang #rocq #naproche #math #logic #leanprover
José A. Alonso @[email protected] · 2024-05-09 · 06:59 UTC

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

#math #hol4 #coq #hol_light #isabellehol #lean4