Live and recent posts from across the Fediverse tagged #coqprover, aggregated by home.social.
#coqprover
Readings shared: 17-23 August, 2026. https://jaalonso.github.io/vestigium/posts/2026/08/24-readings_shared_08-24-26 #AI4Math #Agda #CoqProver #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Math #Prolog #RocqProver
Readings shared May 9, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/10-readings_shared_05-09-26 #AI4Math #ATP #Aristotle #CompSci #CoqProver #FunctionalProgramming #Haskell #History #ITP #IsabelleHOL #LeanProver #Logic #Math #Mizar #Ocaml #RocqProver