Sign in Create account

#hol_light — Public Fediverse posts

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

José A. Alonso @[email protected] · 2026-01-25 · 07:28 UTC

Readings shared January 24, 2026. https://jaalonso.github.io/vestigium/posts/2026/01/25-readings_shared_01-24-26 #AI #AI4Math #ATP #CoqProver #HOL_Light #ITP #IsabelleHOL #LeanProver #Logic #Math #Prover9 #RocqProver

#rocqprover #prover9 #math #logic #leanprover #isabellehol
José A. Alonso @[email protected] · 2024-05-31 · 06:13 UTC

Lecturas compartidas el 30 de mayo de 2024. https://jaalonso.github.io/vestigium/posts/2024/05/31-lecturas_compartidas_el_30-may-24 #ITP #Lean4 #IsabelleHOL #Coq #Theorema #HOL_Light #Math #ATP #Prover9 #Vampire #TPTP #FunctionalProgramming #Haskell #LogicProgramming #Prolog #AI #LLMs

#llms #ai #prolog #logicprogramming #haskell #functionalprogramming