home.social

#mizar — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #mizar, 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