home.social
Sign in Create account

#ai4math — Public Fediverse posts

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

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

    Readings shared May 9, 2026. jaalonso.github.io/vestigium/p #AI4Math #ATP #Aristotle #CompSci #CoqProver #FunctionalProgramming #Haskell #History #ITP #IsabelleHOL #LeanProver #Logic #Math #Mizar #Ocaml #RocqProver

    #rocqprover #ocaml #mizar #math #logic #leanprover
  2. José A. Alonso @[email protected] ·

    Readings shared May 9, 2026. jaalonso.github.io/vestigium/p #AI4Math #ATP #Aristotle #CompSci #CoqProver #FunctionalProgramming #Haskell #History #ITP #IsabelleHOL #LeanProver #Logic #Math #Mizar #Ocaml #RocqProver

    #rocqprover #ocaml #mizar #math #logic #leanprover
  3. José A. Alonso @[email protected] ·

    Readings shared May 9, 2026. jaalonso.github.io/vestigium/p #AI4Math #ATP #Aristotle #CompSci #CoqProver #FunctionalProgramming #Haskell #History #ITP #IsabelleHOL #LeanProver #Logic #Math #Mizar #Ocaml #RocqProver

    #rocqprover #ocaml #mizar #math #logic #leanprover
  4. José A. Alonso @[email protected] ·

    Readings shared May 9, 2026. jaalonso.github.io/vestigium/p #AI4Math #ATP #Aristotle #CompSci #CoqProver #FunctionalProgramming #Haskell #History #ITP #IsabelleHOL #LeanProver #Logic #Math #Mizar #Ocaml #RocqProver

    #ai4math #atp #aristotle #compsci #coqprover #functionalprogramming
  5. José A. Alonso @[email protected] ·

    Readings shared May 9, 2026. jaalonso.github.io/vestigium/p #AI4Math #ATP #Aristotle #CompSci #CoqProver #FunctionalProgramming #Haskell #History #ITP #IsabelleHOL #LeanProver #Logic #Math #Mizar #Ocaml #RocqProver

    #rocqprover #ocaml #mizar #math #logic #leanprover
  6. José A. Alonso @[email protected] ·

    Mel Nathanson — How Harmonic's Aristotle solved some of my problems. gist.github.com/kim-em/20212c6 #LeanProver #ITP #Aristotle #AI4Math

    #ai4math #aristotle #itp #leanprover
  7. José A. Alonso @[email protected] ·

    Mel Nathanson — How Harmonic's Aristotle solved some of my problems. gist.github.com/kim-em/20212c6 #LeanProver #ITP #Aristotle #AI4Math

    #ai4math #aristotle #itp #leanprover
  8. José A. Alonso @[email protected] ·

    Mel Nathanson — How Harmonic's Aristotle solved some of my problems. gist.github.com/kim-em/20212c6 #LeanProver #ITP #Aristotle #AI4Math

    #ai4math #aristotle #itp #leanprover
  9. José A. Alonso @[email protected] ·

    Mel Nathanson — How Harmonic's Aristotle solved some of my problems. gist.github.com/kim-em/20212c6 #LeanProver #ITP #Aristotle #AI4Math

    #leanprover #itp #aristotle #ai4math
  10. José A. Alonso @[email protected] ·

    Mel Nathanson — How Harmonic's Aristotle solved some of my problems. gist.github.com/kim-em/20212c6 #LeanProver #ITP #Aristotle #AI4Math

    #ai4math #aristotle #itp #leanprover
  11. José A. Alonso @[email protected] ·

    Readings shared April 9, 2026. jaalonso.github.io/vestigium/p #AI #AI4Math #ATP #Agda #FunctionalProgramming #ITP #IsabelleHOL #LeanProver #Math #Prover9

    #prover9 #math #leanprover #isabellehol #itp #functionalprogramming
  12. José A. Alonso @[email protected] ·

    Readings shared April 4, 2026. jaalonso.github.io/vestigium/p #AI #AI4Math #ATP #Agda #AlphaProof #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Physics #Programming #Prolog #Racket #RocqProver #Vampire

    #vampire #rocqprover #racket #prolog #programming #physics