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 November 29, 2024. jaalonso.github.io/vestigium/p #ITP #Lean4 #IsabelleHOL #Logic #Math #Calculemus #MachineLearning #LLMs #AIMO #AlphaProof #AlphaGeometry #Haskell #FunctionalProgramming #Programming #FormalVerification #Dafny

    #dafny #formalverification #programming #functionalprogramming #haskell #alphageometry
  2. José A. Alonso @[email protected] ·

    Readings shared September 11, 2024. jaalonso.github.io/vestigium/p #ITP #IsabelleHOL #LeanProver #Coq #NaprocheZF #Natty #AlphaGeometry #AlphaProof #FunctionalProgramming #OCaml #Logic #Math #IMO #AI #MachineLearning #LLMs

    #llms #machinelearning #ai #imo #math #logic