home.social

#isabellehol — Public Fediverse posts

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

  1. José A. Alonso @[email protected] ·

    Readings shared August 17, 2026. jaalonso.github.io/vestigium/p #AI4Math #ATP #FormalVerification #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Math #SATsolvers

    #satsolvers #math #leanprover #llms #isabellehol #itp
  2. José A. Alonso @[email protected] ·

    Readings shared: 3 – 9 August, 2026. jaalonso.github.io/vestigium/p #AI #AI4Math #Coq #FormalVerification #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math

    #math #logic #leanprover #isabellehol #itp #haskell