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 October 20, 2025. jaalonso.github.io/vestigium/p #ACL2 #Autoformalization #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Logic #Math #Mizar #RustLang

    #rustlang #mizar #math #logic #leanprover #llms