home.social

#rocqprover — Public Fediverse posts

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

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

    Readings shared July 27, 2026. jaalonso.github.io/vestigium/p #AI #AI4Math #Agda #Aristotle #ITP #IsabelleHOL #LeanProver #Logic #Math #Prolog #RocqProver

    #rocqprover #prolog #math #logic #leanprover #isabellehol