#mizar — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #mizar, aggregated by home.social.
-
Readings shared September 6, 2024. https://jaalonso.github.io/vestigium/posts/2024/09/06-readings_shared_09-06-24 #ITP #LeanProver #Lean4 #IsabelleHOL #Coq #Agda #PVS #Logic #HOL4 #Lisa #Mizar #ACL2 #Math #AI #MachineLearning