Live and recent posts from across the Fediverse tagged #mizar, aggregated by home.social.
#mizar
Readings shared July 22, 2026. https://jaalonso.github.io/vestigium/posts/2026/07/06-readings_shared_07-06-26 #AI4Math #Agda #FunctionalProgramming #HOL_Light #Haskell #ITP #IsabelleHOL #LeanProver #Math #Mizar #PVS
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
